Browse by People

Collapse authors list.
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) , Schilling, Christian and Zhu, Qi (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).

Wang, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787, Kim, Hyoseung, Li, Wenchao and Zhu, Qi (2021) Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 20 (5). pp. 1-25.

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, Xu, Shichao, Wang, Zhilu, Lan, Shuyue, Li, Wenchao and Zhu, Qi (2020) Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. .

Wang, Yixuan, Zhou, Weichao, Fan, Jiameng, Wang, Zhilu, Li, Jiajun, Chen, Xin, Huang, Chao ORCID: 0000-0002-9300-1787, Li, Wenchao and Zhu, Qi (2023) POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. p. 1.

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.