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 |
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 |
Accurate kinematics calibration method for a large-scale machine tool A Wan, Y Wang, G Xue, K Chen, J Xu IEEE Transactions on Industrial Electronics 68 (10), 9832-9843, 2020 | 11 | 2020 |
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 |
Bounding perception neural network uncertainty for safe control of autonomous systems Z Wang, C Huang, Y Wang, C Hobbs, S Chakraborty, Q Zhu 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 9 | 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 |
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 |
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 |
Energy-efficient control adaptation with safety guarantees for learning-enabled cyber-physical systems Y Wang, C Huang, Q Zhu Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 30 | 2020 |
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 |
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 |
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 |
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 |
Know the unknowns: Addressing disturbances and uncertainties in autonomous systems Q Zhu, W Li, H Kim, Y Xiang, K Wardega, Z Wang, Y Wang, H Liang, ... Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 32 | 2020 |
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 |
One for many: Transfer learning for building hvac control S Xu, Y Wang, Y Wang, Z O'Neill, Q Zhu Proceedings of the 7th ACM international conference on systems for energy …, 2020 | 67 | 2020 |
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 |
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 |
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 |
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 |