Follow
Chao Huang
Chao Huang
Associate Professor at University of Southampton, UK
Verified email at soton.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
1702019
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
682020
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
542017
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
422022
Formal verification of weakly-hard systems
C Huang, W Li, Q Zhu
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
382019
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
332020
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
322020
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
302020
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
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
272017
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
272016
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
262020
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
202022
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
202019
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
192023
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
192022
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
192019
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
182020
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
182020
The system can't perform the operation now. Try again later.
Articles 1–20