Yixuan Wang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 13

Top Topics

Hard Constraints

Reachability Analysis

Autonomous Driving

Top Venues

Publications

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)
Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu
State-wise safe reinforcement learning with pixel observations. L4DC (2024)
Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu
Exploring Backdoor Attacks against Large Language Model-based Decision Making. CoRR (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)
Xiangguo Liu, Yunpeng Luo, Anthony Goeckner, Trishna Chakraborty, Ruochen Jiao, Ningfei Wang, Yixuan Wang, Takami Sato, Qi Alfred Chen, Qi Zhu
Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing. DAC (2023)
Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Chao Huang, Qi Zhu
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. CoRR (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)
Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu
Safety-Assured Speculative Planning with Adaptive Prediction. CoRR (2023)
Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu
Safety-Assured Speculative Planning with Adaptive Prediction. IROS (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)