Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. - Qi Zhu 002; Wenchao Li 001; Hyoseung Kim 001; Yecheng Xiang; Kacper Wardega; Zhilu Wang; Yixuan Wang 001; Hengyi Liang; Chao Huang 015; Jiameng Fan; Hyunjong Choi (ICCAD, 2020)

Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. - Yixuan Wang 001; Chao Huang 015; Qi Zhu 002 (ICCAD, 2020)

One for Many: Transfer Learning for Building HVAC Control. - Shichao Xu; Yixuan Wang 001; Yanzhi Wang; Zheng O'Neill; Qi Zhu 002 (BuildSys, 2020)

Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. - Qi Zhu 002; Chao Huang 015; Ruochen Jiao; Shuyue Lan; Hengyi Liang; Xiangguo Liu; Yixuan Wang 001; Zhilu Wang; Shichao Xu (ASP-DAC, 2021)

Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. - Yixuan Wang 001; Chao Huang 015; Zhilu Wang; Shichao Xu; Zhaoran Wang 001; Qi Zhu 002 (DAC, 2021)

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. - Zhilu Wang; Chao Huang 015; Yixuan Wang 001; Clara Hobbs; Samarjit Chakraborty; Qi Zhu 002 (DATE, 2021)

Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator. - Shichao Xu; Lixu Wang; Yixuan Wang 001; Qi Zhu 002 (ICCV, 2021)

Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning. - Shichao Xu; Yangyang Fu; Yixuan Wang 001; Zheng O'Neill; Qi Zhu 002 (BuildSys, 2021)

Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. - Yixuan Wang 001; Chao Huang 015; Zhaoran Wang 001; Zhilu Wang; Qi Zhu 002 (CoRR, 2021)

Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control. - Shichao Xu; Yangyang Fu; Yixuan Wang 001; Zheng O'Neill; Qi Zhu 002 (CoRR, 2021)

Design-while-verify: correct-by-construction control learning with verification in the loop. - Yixuan Wang 001; Chao Huang 015; Zhaoran Wang 001; Zhilu Wang; Qi Zhu 002 (DAC, 2022)

Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. - Xiangguo Liu; Chao Huang 015; Yixuan Wang 001; Bowen Zheng 001; Qi Zhu 002 (ICCPS, 2022)

Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances. - Shichao Xu; Yangyang Fu; Yixuan Wang 001; Zhuoran Yang; Zheng O'Neill; Zhaoran Wang 001; Qi Zhu 002 (BuildSys, 2022)

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. - Yixuan Wang 001; Chao Huang 015; Zhaoran Wang 001; Zhuoran Yang; Qi Zhu 002 (CoRR, 2022)

A Tool for Neural Network Global Robustness Certification and Training. - Zhilu Wang; Yixuan Wang 001; Feisi Fu; Ruochen Jiao; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (CoRR, 2022)

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. - Qi Zhu 002; Wenchao Li 001; Chao Huang 015; Xin Chen 002; Weichao Zhou; Yixuan Wang 001; Jiajun Li; Feisi Fu (Allerton, 2023)

Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing. - Xiangguo Liu; Yunpeng Luo; Anthony Goeckner; Trishna Chakraborty; Ruochen Jiao; Ningfei Wang; Yixuan Wang 001; Takami Sato; Qi Alfred Chen; Qi Zhu 002 (DAC, 2023)

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. - Yixuan Wang 001; Simon Sinong Zhan; Zhilu Wang; Chao Huang 015; Zhaoran Wang 001; Zhuoran Yang; Qi Zhu 002 (ICCPS, 2023)

Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. - Yixuan Wang 001; Simon Sinong Zhan; Ruochen Jiao; Zhilu Wang; Wanxin Jin; Zhuoran Yang; Zhaoran Wang 001; Chao Huang 015; Qi Zhu 002 (ICML, 2023)

Safety-Assured Speculative Planning with Adaptive Prediction. - Xiangguo Liu; Ruochen Jiao; Yixuan Wang 001; Yimin Han; Bowen Zheng 001; Qi Zhu 002 (IROS, 2023)

Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. - Ruochen Jiao; Yixuan Wang 001; Xiangguo Liu; Chao Huang 015; Qi Zhu 002 (CoRR, 2023)

Empowering Autonomous Driving with Large Language Models: A Safety Perspective. - Yixuan Wang 001; Ruochen Jiao; Chengtian Lang; Simon Sinong Zhan; Chao Huang 015; Zhaoran Wang 001; Zhuoran Yang; Qi Zhu 002 (CoRR, 2023)

REGLO: Provable Neural Network Repair for Global Robustness Properties. - Feisi Fu; Zhilu Wang; Weichao Zhou; Yixuan Wang 001; Jiameng Fan; Chao Huang 015; Qi Zhu 002; Xin Chen 002; Wenchao Li 001 (AAAI, 2024)

Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays. - Qingyuan Wu; Simon Sinong Zhan; Yixuan Wang 001; Yuhui Wang 004; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Jürgen Schmidhuber; Chao Huang 015 (ICML, 2024)

Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. - Ruochen Jiao; Yixuan Wang 001; Xiangguo Liu; Simon Sinong Zhan; Chao Huang 015; Qi Zhu 002 (IROS, 2024)

State-wise safe reinforcement learning with pixel observations. - Simon Sinong Zhan; Yixuan Wang 001; Qingyuan Wu; Ruochen Jiao; Chao Huang 015; Qi Zhu 002 (L4DC, 2024)

Variational Delayed Policy Optimization. - Qingyuan Wu; Simon Sinong Zhan; Yixuan Wang 001; Yuhui Wang 004; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Chao Huang 015 (NeurIPS, 2024)

Case Study: Runtime Safety Verification of Neural Network Controlled System. - Frank Yang; Simon Sinong Zhan; Yixuan Wang 001; Chao Huang 015; Qi Zhu 002 (RV, 2024)

Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task. - Qingyuan Wu; Simon Sinong Zhan; Yixuan Wang 001; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Chao Huang 015 (CoRR, 2024)

Exploring Backdoor Attacks against Large Language Model-based Decision Making. - Ruochen Jiao; Shaoyuan Xie; Justin Yue; Takami Sato; Lixu Wang; Yixuan Wang 001; Qi Alfred Chen; Qi Zhu 002 (CoRR, 2024)

Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments. - Simon Sinong Zhan; Qingyuan Wu; Philip Wang; Yixuan Wang 001; Ruochen Jiao; Chao Huang 015; Qi Zhu 002 (CoRR, 2024)

Inverse Delayed Reinforcement Learning. - Simon Sinong Zhan; Qingyuan Wu; Zhian Ruan; Frank Yang; Philip Wang; Yixuan Wang 001; Ruochen Jiao; Chao Huang 015; Qi Zhu 002 (CoRR, 2024)

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. - Yixuan Wang 001; Weichao Zhou; Jiameng Fan; Zhilu Wang; Jiajun Li; Xin Chen 002; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Can We Trust Embodied Agents? Exploring Backdoor Attacks against Embodied LLM-Based Decision-Making Systems. - Ruochen Jiao; Shaoyuan Xie; Justin Yue; Takami Sato; Lixu Wang; Yixuan Wang 001; Qi Alfred Chen; Qi Zhu 002 (ICLR, 2025)

Directly Forecasting Belief for Reinforcement Learning with Delays. - Qingyuan Wu; Yuhui Wang 004; Simon Sinong Zhan; Yixuan Wang 001; Chung-Wei Lin; Chen Lv; Qi Zhu 002; Jürgen Schmidhuber; Chao Huang 015 (CoRR, 2025)