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 | 172 | 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 | 71 | 2020 |
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 | 57 | 2017 |
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 | 45 | 2022 |
Formal verification of weakly-hard systems C Huang, W Li, Q Zhu Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 38 | 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 | 34 | 2020 |
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 | 32 | 2020 |
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 | 30 | 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 | 29* | 2021 |
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 | 27 | 2020 |
Uppaal stratego for intelligent traffic lights AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ... 12th ITS European Congress, 2017 | 27 | 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 | 27 | 2016 |
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 | 21 | 2023 |
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 | 20 | 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 | 20 | 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 | 20 | 2019 |
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 | 19* | 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 | 19 | 2022 |
Divide and slide: Layer-wise refinement for output range analysis of deep neural networks C Huang, J Fan, X Chen, W Li, Q Zhu IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 18 | 2020 |
Saw: A tool for safety analysis of weakly-hard systems C Huang, KC Chang, CW Lin, Q Zhu International Conference on Computer Aided Verification, 543-555, 2020 | 18 | 2020 |