Follow
Chao Huang
Chao Huang
Lecturer (Assistant Professor) at University of Liverpool, UK
Verified email at liverpool.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
972019
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
402017
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
362020
Formal verification of weakly-hard systems
C Huang, W Li, Q Zhu
Proceedings of the 22nd ACM International Conference on Hybrid Systemsá…, 2019
252019
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
242017
A linear programming relaxation based approach for generating barrier certificates of hybrid systems
Z Yang, C Huang, X Chen, W Lin, Z Liu
International Symposium on Formal Methods, 721-738, 2016
242016
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
182020
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
152020
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
142019
Energy-efficient control adaptation with safety guarantees for learning-enabled cyber-physical systems
Y Wang, C Huang, Q Zhu
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2020
132020
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
132020
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
122019
Hierarchical model predictive control for multi-robot navigation
C Huang, X Chen, Y Zhang, S Qin, Y Zeng, X Li
122016
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
112020
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
102020
Safety-assured design and adaptation of learning-enabled autonomous systems
Q Zhu, C Huang, R Jiao, S Lan, H Liang, X Liu, Y Wang, Z Wang, S Xu
2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC), 753-760, 2021
82021
Design Automation for Intelligent Automotive Systems
S Lan, C Huang, Z Wang, H Liang, W Su, Q Zhu
IEEE International Test Conference, 1-10, 2018
82018
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
72022
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
5*2022
Cocktail: Learn a better neural network controller from multiple experts via adaptive mixing and robust distillation
Y Wang, C Huang, Z Wang, S Xu, Z Wang, Q Zhu
2021 58th ACM/IEEE Design Automation Conference (DAC), 397-402, 2021
52021
The system can't perform the operation now. Try again later.
Articles 1–20