Chao Huang - RankMe

72 papers A* 13A 8B 5Journal 33Unranked 13

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