Chao Huang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 57

Top Topics

Reinforcement Learning

Autonomous Systems

Top Venues

Publications

Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task. CoRR (2024)
Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI (2024)
Yuhui Wang, Qingyuan Wu, Weida Li, Dylan R. Ashley, Francesco Faccio, Chao Huang, Jürgen Schmidhuber
Scaling Value Iteration Networks to 5000 Layers for Extreme Long-Term Planning. CoRR (2024)
Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu
State-wise safe reinforcement learning with pixel observations. L4DC (2024)
Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (3) (2024)
Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
Variational Delayed Policy Optimization. CoRR (2024)
Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. ICML (2023)
Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. ICCPS (2023)
Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Chao Huang, Qi Zhu
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. CoRR (2023)
Kevin Kai-Chun Chang, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu
A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance. DATE (2023)
Zhilu Wang, Chao Huang, Qi Zhu
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). IJCAI (2023)
Yi-Ting Hsieh, Tzu-Tao Chang, Chen-Jun Tsai, Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Chung-Wei Lin, Eunsuk Kang, Chao Huang, Qi Zhu
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. ACM Trans. Cyber Phys. Syst. 7 (3) (2023)
Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton (2023)
Pin-Chun Chen, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu
Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators. ASP-DAC (2023)
Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu
State-wise Safe Reinforcement Learning With Pixel Observations. CoRR (2023)
Yixuan Wang, Ruochen Jiao, Chengtian Lang, Simon Sinong Zhan, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
Empowering Autonomous Driving with Large Language Models: A Safety Perspective. CoRR (2023)
Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. CoRR (2022)
Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. CoRR (2022)
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA (2022)
Zhilu Wang, Chao Huang, Qi Zhu
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. CoRR (2022)
Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. CoRR (2022)
Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
Design-while-verify: correct-by-construction control learning with verification in the loop. DAC (2022)
Zhilu Wang, Chao Huang, Qi Zhu
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. DATE (2022)
Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. ICCPS (2022)
Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu
A Tool for Neural Network Global Robustness Certification and Training. CoRR (2022)
Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu
Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. ASP-DAC (2021)
Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. CoRR (2021)
Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. DATE (2021)
Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, Qi Zhu
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. CoRR (2021)
Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu
Cross-Layer Design of Automotive Systems. IEEE Des. Test 38 (5) (2021)
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR (2021)
Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. DAC (2021)
Jingda Wu, Zhiyu Huang, Peng Hang, Chao Huang, Niels de Boer, Chen Lv
Digital Twin-enabled Reinforcement Learning for End-to-end Autonomous Driving. DTPI (2021)
Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. RV (2020)
Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR (2020)
Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD (2020)
Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu
SAW: A Tool for Safety Analysis of Weakly-Hard Systems. CAV (1) (2020)
Yixuan Wang, Chao Huang, Qi Zhu
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. CoRR (2020)
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Yixuan Wang, Chao Huang, Qi Zhu
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. ICCAD (2020)
Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA (2020)
Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu
SAW: A Tool for Safety Analysis of Weakly-hard Systems. CoRR (2020)
Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC (2020)
Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu
Cross-Layer Design of Automotive Systems. CoRR (2020)
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA (2020)
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2020)
Chao Huang, Wenchao Li, Qi Zhu
Formal verification of weakly-hard systems. HSCC (2019)
Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu
Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek (2019)
Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD (2019)
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR (2019)
Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu
Design Automation for Intelligent Automotive Systems. ITC (2018)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI (2017)
Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM (2016)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI (2016)