Exploring Backdoor Attacks against Large Language Model-based Decision Making R Jiao, S Xie, J Yue, T Sato, L Wang, Y Wang, QA Chen, Q Zhu arXiv preprint arXiv:2405.20774, 2024 | | 2024 |
Variational Delayed Policy Optimization Q Wu, SS Zhan, Y Wang, Y Wang, CW Lin, C Lv, Q Zhu, C Huang arXiv preprint arXiv:2405.14226, 2024 | | 2024 |
Reglo: Provable neural network repair for global robustness properties F Fu, Z Wang, W Zhou, Y Wang, J Fan, C Huang, Q Zhu, X Chen, W Li Proceedings of the AAAI Conference on Artificial Intelligence 38 (11), 12061 …, 2024 | 6 | 2024 |
Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task Q Wu, SS Zhan, Y Wang, CW Lin, C Lv, Q Zhu, C Huang International Conference on Machine Learning, 2024, 2024 | 1 | 2024 |
Empowering Autonomous Driving with Large Language Models: A Safety Perspective Y Wang, R Jiao, C Lang, SS Zhan, C Huang, Z Wang, Z Yang, Q Zhu ICLR 2024 Workshop on LLM Agents, 2023 | 7 | 2023 |
State-wise safe reinforcement learning with pixel observations SS Zhan, Y Wang, Q Wu, R Jiao, C Huang, Q Zhu Learning for Dynamics & Control Conference (L4DC), 2023 | 5 | 2023 |
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems Q Zhu, W Li, C Huang, X Chen, W Zhou, Y Wang, J Li, F Fu 2023 59th Annual Allerton Conference on Communication, Control, and …, 2023 | | 2023 |
Kinematics-aware trajectory generation and prediction with latent stochastic differential modeling R Jiao, Y Wang, X Liu, C Huang, Q Zhu arXiv preprint arXiv:2309.09317, 2023 | 2 | 2023 |
Safety-Assured Speculative Planning with Adaptive Prediction X Liu, R Jiao, Y Wang, Y Han, B Zheng, Q Zhu IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2023), 2023 | 8* | 2023 |
Waving the double-edged sword: Building resilient cavs with edge and cloud computing X Liu, Y Luo, A Goeckner, T Chakraborty, R Jiao, N Wang, Y Wang, T Sato, ... 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-4, 2023 | 6 | 2023 |
Joint differentiable optimization and verification for certified reinforcement learning Y Wang, S Zhan, Z Wang, C Huang, Z Wang, Z Yang, Q Zhu Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023 | 17 | 2023 |
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Y Wang, W Zhou, J Fan, Z Wang, J Li, X Chen, C Huang, W Li, Q Zhu IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 6 | 2023 |
Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles X Chen, J Fan, C Huang, R Jiao, W Li, X Liu, Y Wang, Z Wang, W Zhou, ... Machine Learning and Optimization Techniques for Automotive Cyber-Physical …, 2023 | 1 | 2023 |
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments Y Wang, SS Zhan, R Jiao, Z Wang, W Jin, Z Yang, Z Wang, C Huang, ... Proceedings of the 40th International Conference on Machine Learning, 2023 …, 2023 | 30 | 2023 |
Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances S Xu, Y Fu, Y Wang, Z Yang, Z O'Neill, Z Wang, Q Zhu Proceedings of the 9th ACM International Conference on Systems for Energy …, 2022 | 7 | 2022 |
A tool for neural network global robustness certification and training Z Wang, Y Wang, F Fu, R Jiao, C Huang, W Li, Q Zhu arXiv preprint arXiv:2208.07289, 2022 | 7 | 2022 |
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner X Liu, C Huang, Y Wang, B Zheng, Q Zhu International Conference on Cyber-physical Systems(ICCPS) 2022, 2022 | 21* | 2022 |
Learning-based framework for sensor fault-tolerant building hvac control with model-assisted learning S Xu, Y Fu, Y Wang, Z O'Neill, Q Zhu Proceedings of the 8th ACM international conference on systems for energy …, 2021 | 17* | 2021 |
Design-while-Verify: Correct-by-Construction Control Learning with Verification in the Loop Y Wang, C Huang, Z Wang, Z Wang, Q Zhu Design Automation Conference(DAC) 2022, 2021 | 20* | 2021 |
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation Y Wang, C Huang, Z Wang, S Xu, Z Wang, Q Zhu Design Automation Conference(DAC) 2021, 2021 | 13 | 2021 |