default search action
Chao Huang 0015
Person information
- affiliation: University of Liverpool, Department of Computer Science, Liverpool, UK
- affiliation: Northwestern University, Department of Electrical and Computer Engineering, Evanston, IL, USA
Other persons with the same name
- Chao Huang — disambiguation page
- Chao Huang 0001
— University of Hong Kong, Department of Computer Science, Data Mining and Intelligence Lab@HKU, Hong Kong (and 2 more)
- Chao Huang 0002
- Chao Huang 0003 — University of Electronic Science and Technology of China, School of Electronic Engineering, Chengdu, China
- Chao Huang 0004
- Chao Huang 0005
- Chao Huang 0006
- Chao Huang 0007
- Chao Huang 0008
- Chao Huang 0009
- Chao Huang 0010
- Chao Huang 0011 — Microsoft Research Asia, Beijing, China
- Chao Huang 0012
- Chao Huang 0013
- Chao Huang 0014
- Chao Huang 0016 — Tencent Hippocrates Research Lab, Palo Alto, CA, USA (and 2 more)
- Chao Huang 0017
- Chao Huang 0018
- Chao Huang 0019
- Chao Huang 0020
- Chao Huang 0021
- Chao Huang 0022
- Chao Huang 0023
- Chao Huang 0024
- Chao Huang 0025
- Chao Huang 0026 — Alibaba Group (and 1 more)
- Chao Huang 0027 — Kent State University, Cognitive Robotics and AI Lab, CRAI, College of Aeronautics and Engineering, OH, USA
- Chao Huang 0028
- Chao Huang 0029 — University of Illinois, Urbana-Champaign, Department of Computer Science, Thomas M.Siebel Center, Department of Computer Science, Urbana, IL, USA
- Chao Huang 0030
- Chao Huang 0031
- Chao Huang 0032
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j7]Yixuan Wang
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(3): 994-1007 (2024) - [c35]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: 12061-12071 - [c34]Yuang Geng
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. FM (1) 2024: 381-402 - [c33]Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang:
Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays. ICML 2024 - [c32]Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu:
State-wise safe reinforcement learning with pixel observations. L4DC 2024: 1187-1201 - [c31]Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu:
Case Study: Runtime Safety Verification of Neural Network Controlled System. RV 2024: 205-217 - [i22]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 abs/2402.03141 (2024) - [i21]Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang:
Variational Delayed Policy Optimization. CoRR abs/2405.14226 (2024) - [i20]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 abs/2406.08404 (2024) - [i19]Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu:
Case Study: Runtime Safety Verification of Neural Network Controlled System. CoRR abs/2408.08592 (2024) - [i18]Simon Sinong Zhan, Qingyuan Wu, Philip Wang, Yixuan Wang, Ruochen Jiao, Chao Huang, Qi Zhu:
Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments. CoRR abs/2410.03847 (2024) - 2023
- [j6]Yi-Ting Hsieh
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. ACM Trans. Cyber Phys. Syst. 7(3): 21:1-21:28 (2023) - [c30]Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton 2023: 1-8 - [c29]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: 52-57 - [c28]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: 1-6 - [c27]Yixuan Wang
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. ICCPS 2023: 132-141 - [c26]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: 36593-36604 - [c25]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). IJCAI 2023: 6498-6503 - [i17]Yixuan Wang
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/2304.01218 (2023) - [i16]Ruochen Jiao, Yixuan Wang
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. CoRR abs/2309.09317 (2023) - [i15]Simon Sinong Zhan, Yixuan Wang
State-wise Safe Reinforcement Learning With Pixel Observations. CoRR abs/2311.02227 (2023) - [i14]Yixuan Wang
Empowering Autonomous Driving with Large Language Models: A Safety Perspective. CoRR abs/2312.00812 (2023) - 2022
- [c24]Diego Manzanas Lopez, Matthias Althoff, Luis Benet
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP 2022: 142-184 - [c23]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA 2022: 414-430 - [c22]Yixuan Wang
Design-while-verify: correct-by-construction control learning with verification in the loop. DAC 2022: 925-930 - [c21]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. DATE 2022: 1087-1092 - [c20]Xiangguo Liu, Chao Huang, Yixuan Wang
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. ICCPS 2022: 137-146 - [i13]Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu:
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. CoRR abs/2201.09140 (2022) - [i12]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. CoRR abs/2201.12243 (2022) - [i11]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. CoRR abs/2203.14141 (2022) - [i10]Zhilu Wang, Yixuan Wang
A Tool for Neural Network Global Robustness Certification and Training. CoRR abs/2208.07289 (2022) - [i9]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 abs/2209.15090 (2022) - 2021
- [j5]Zhilu Wang
Cross-Layer Design of Automotive Systems. IEEE Des. Test 38(5): 8-16 (2021) - [j4]Zhilu Wang
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. 20(5s): 100:1-100:25 (2021) - [c19]Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang
Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. ASP-DAC 2021: 753-760 - [c18]Yixuan Wang
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. DAC 2021: 397-402 - [c17]Zhilu Wang, Chao Huang, Yixuan Wang
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. DATE 2021: 1745-1750 - [c16]Jingda Wu, Zhiyu Huang, Peng Hang
Digital Twin-enabled Reinforcement Learning for End-to-end Autonomous Driving. DTPI 2021: 62-65 - [i8]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 abs/2103.05046 (2021) - [i7]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu:
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. CoRR abs/2106.03245 (2021) - [i6]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR abs/2106.13867 (2021) - 2020
- [j3]Chao Huang
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3323-3335 (2020) - [c15]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: 107-139 - [c14]Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu:
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA 2020: 537-542 - [c13]Chao Huang
SAW: A Tool for Safety Analysis of Weakly-Hard Systems. CAV (1) 2020: 543-555 - [c12]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC 2020: 1-6 - [c11]Yixuan Wang
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. ICCAD 2020: 22:1-22:9 - [c10]Qi Zhu, Wenchao Li, Hyoseung Kim
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD 2020: 82:1-82:9 - [c9]Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA 2020: 151-157 - [c8]Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. RV 2020: 497-516 - [i5]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR abs/2005.03726 (2020) - [i4]Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu:
SAW: A Tool for Safety Analysis of Weakly-hard Systems. CoRR abs/2005.07159 (2020) - [i3]Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu:
Cross-Layer Design of Automotive Systems. CoRR abs/2005.11842 (2020) - [i2]Yixuan Wang, Chao Huang, Qi Zhu:
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. CoRR abs/2008.06162 (2020)
2010 – 2019
- 2019
- [j2]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): 106:1-106:22 (2019) - [c7]Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu:
Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek 2019: 51-59 - [c6]Chao Huang, Wenchao Li, Qi Zhu:
Formal verification of weakly-hard systems. HSCC 2019: 197-207 - [c5]Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu:
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD 2019: 1-8 - [i1]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/1906.10654 (2019) - 2018
- [c4]Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu:
Design Automation for Intelligent Automotive Systems. ITC 2018: 1-10 - 2017
- [j1]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): 186:1-186:19 (2017) - [c3]Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI 2017: 4331-4337 - 2016
- [c2]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: 721-738 - [c1]Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI 2016: 3140-3146
Coauthor Index
[j7] [c35] [c33] [c32] [c31] [i22] [i21] [i19] [i18] [j6] [c30] [c29] [c28] [c27] [c26] [c25] [i17] [i16] [i15] [i14] [c24] [c23] [c22] [c21] [c20] [i13] [i12] [i11] [i10] [i9] [j5] [j4] [c19] [c18] [c17] [i8] [i7] [i6] [j3] [c14] [c13] [c12] [c11] [c10] [c8] [i5] [i4] [i3] [i2] [j2] [c7] [c6] [c5] [i1] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: