Up a level |
Manzanas Lopez, Diego, Althoff, Matthias, Benet, Luis, Chen, Xin, Fan, Jiameng, Forets, Marcelo, Huang, Chao ORCID: 0000-0002-9300-1787, Johnson, Taylor T, Ladner, Tobias, Li, Wenchao et al (show 2 more authors)
(2022)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
In: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22).
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Chen, Xin, Li, Wenchao and Zhu, Qi
(2020)
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 39 (11).
pp. 3323-3335.
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Wang, Zhilu, Wang, Yixuan, Zhou, Weichao, Li, Jiajun, Chen, Xin, Li, Wenchao and Zhu, Qi
(2021)
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network
Controlled Systems.
[Preprint]
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Chen, Xin, Li, Wenchao and Zhu, Qi
(2022)
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.
.
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Li, Wenchao, Chen, Xin and Zhu, Qi
(2019)
ReachNN: Reachability Analysis of Neural-Network Controlled Systems.
ACM Transactions on Embedded Computing Systems, 18 (5s).
pp. 1-22.