Chao Huang
Orcid: 0000-0002-9300-1787Affiliations:
- University of Liverpool, Department of Computer Science, Liverpool, UK
- Northwestern University, Department of Electrical and Computer Engineering, Evanston, IL, USA
According to our database1,
Chao Huang
authored at least 44 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024
CoRR, 2024
2023
ACM Trans. Cyber Phys. Syst., July, 2023
CoRR, 2023
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling.
CoRR, 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
CoRR, 2023
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.
Proceedings of the International Conference on Machine Learning, 2023
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023
2022
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
CoRR, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Design-while-verify: correct-by-construction control learning with verification in the loop.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
ACM Trans. Embed. Comput. Syst., 2021
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.
CoRR, 2021
Proceedings of the IEEE 2nd International Conference on Digital Twins and Parallel Intelligence, 2021
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
2020
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.
Proceedings of the Runtime Verification - 20th International Conference, 2020
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019
2018
Proceedings of the IEEE International Test Conference, 2018
2017
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.
Proceedings of the FM 2016: Formal Methods, 2016