Yixuan Wang

According to our database, Yixuan Wang authored at least 31 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments.

Simon Sinong Zhan, Qingyuan Wu, Philip Wang, Yixuan Wang, Ruochen Jiao, Chao Huang, Qi Zhu

CoRR, 2024

Exploring Backdoor Attacks against Large Language Model-based Decision Making.

Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu

CoRR, 2024

Variational Delayed Policy Optimization.

Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang

CoRR, 2024

Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task.

Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang

CoRR, 2024

Case Study: Runtime Safety Verification of Neural Network Controlled System.

Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu

Proceedings of the Runtime Verification - 24th International Conference, 2024

State-wise safe reinforcement learning with pixel observations.

Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays.

Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang

Proceedings of the Forty-first International Conference on Machine Learning, 2024

REGLO: Provable Neural Network Repair for Global Robustness Properties.

Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Empowering Autonomous Driving with Large Language Models: A Safety Perspective.

Yixuan Wang, Ruochen Jiao, Chengtian Lang, Simon Sinong Zhan, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu

CoRR, 2023

Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling.

Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Chao Huang, Qi Zhu

CoRR, 2023

Safety-Assured Speculative Planning with Adaptive Prediction.

Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu

IROS, 2023

Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.

Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu

Proceedings of the International Conference on Machine Learning, 2023

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.

Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 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, Takami Sato, Qi Alfred Chen, Qi Zhu

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.

Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022

A Tool for Neural Network Global Robustness Certification and Training.

Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu

CoRR, 2022

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.

Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu

CoRR, 2022

Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances.

Shichao Xu, Yangyang Fu, Yixuan Wang, Zhuoran Yang, Zheng O'Neill, Zhaoran Wang, Qi Zhu

Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022

Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner.

Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Design-while-verify: correct-by-construction control learning with verification in the loop.

Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control.

Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu

CoRR, 2021

Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.

Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu

CoRR, 2021

Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning.

Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu

Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021

Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator.

Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.

Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu

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.

Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems.

Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020

One for Many: Transfer Learning for Building HVAC Control.

Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu

Proceedings of the BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, 2020

Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems.

Yixuan Wang, Chao Huang, Qi Zhu

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.

Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020