| Reachnn: Reachability analysis of neural-network controlled systems C Huang, J Fan, W Li, X Chen, Q Zhu ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019 | 200 | 2019 |
| Reachnn*: A tool for reachability analysis of neural-network controlled systems J Fan, C Huang, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2020 | 91 | 2020 |
| Polar: A polynomial arithmetic framework for verifying neural-network controlled systems C Huang, J Fan, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2022 | 66 | 2022 |
| Probabilistic safety verification of stochastic hybrid systems using barrier certificates C Huang, X Chen, W Lin, Z Yang, X Li ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017 | 63 | 2017 |
| Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments Y Wang, SS Zhan, R Jiao, Z Wang, W Jin, Z Yang, Z Wang, C Huang, ... International Conference on Machine Learning, 36593-36604, 2023 | 46 | 2023 |
| Know the unknowns: Addressing disturbances and uncertainties in autonomous systems Q Zhu, W Li, H Kim, Y Xiang, K Wardega, Z Wang, Y Wang, H Liang, ... Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 43 | 2020 |
| Formal verification of weakly-hard systems C Huang, W Li, Q Zhu Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 41 | 2019 |
| ARCH-COMP20 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants TT Johnson, D Manzanas Lopez, P Musau, HD Tran, E Botoeva, ... EPiC Series in Computing 74, 2020 | 40 | 2020 |
| Safety-assured design and adaptation of learning-enabled autonomous systems Q Zhu, C Huang, R Jiao, S Lan, H Liang, X Liu, Y Wang, SX Zhilu Wang 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC), 753-760, 2021 | 33* | 2021 |
| Energy-efficient control adaptation with safety guarantees for learning-enabled cyber-physical systems Y Wang, C Huang, Q Zhu Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 33 | 2020 |
| Uppaal stratego for intelligent traffic lights AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ... 12th ITS European Congress, 2017 | 30 | 2017 |
| A linear programming relaxation based approach for generating barrier certificates of hybrid systems Z Yang, C Huang, X Chen, W Lin, Z Liu FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 30 | 2016 |
| Opportunistic intermittent control with safety guarantees for autonomous systems C Huang, S Xu, Z Wang, S Lan, W Li, Q Zhu 2020 57th ACM/IEEE design automation conference (DAC), 1-6, 2020 | 29 | 2020 |
| Joint differentiable optimization and verification for certified reinforcement learning Y Wang, S Zhan, Z Wang, C Huang, Z Wang, Z Yang, Q Zhu Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023 | 27 | 2023 |
| Design-while-verify: correct-by-construction control learning with verification in the loop Y Wang, C Huang, Z Wang, Z Wang, Q Zhu Proceedings of the 59th ACM/IEEE Design Automation Conference, 925-930, 2022 | 25* | 2022 |
| Efficient global robustness certification of neural networks via interleaving twin-network encoding Z Wang, C Huang, Q Zhu 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022 | 24 | 2022 |
| Physics-aware safety-assured design of hierarchical neural network based planner X Liu, C Huang, Y Wang, B Zheng, Q Zhu 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 23 | 2022 |
| Arch-comp22 category report: Artificial intelligence and neural network control systems (ainncs) for continuous and hybrid systems plants DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ... 9th International Workshop on Applied Verification of Continuous and Hybrid …, 2022 | 23 | 2022 |
| Towards verification-aware knowledge distillation for neural-network controlled systems J Fan, C Huang, W Li, X Chen, Q Zhu 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 22 | 2019 |
| Exploring weakly-hard paradigm for networked systems C Huang, K Wardega, W Li, Q Zhu Proceedings of the Workshop on Design Automation for CPS and IoT, 51-59, 2019 | 21 | 2019 |
Qi ZhuProfessor of Computer EngineeringAdresse e-mail validée de northwestern.edu
