| 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 | 85 | 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 | 49 | 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 | 43 | 2020 |
| Safety-assured design and adaptation of learning-enabled autonomous systems Q Zhu, C Huang, R Jiao, S Lan, H Liang, X Liu, Y Wang, Z Wang, S Xu Proceedings of the 26th Asia and South Pacific Design Automation Conference …, 2021 | 34* | 2021 |
| 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 | 33 | 2020 |
| 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 | 26 | 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 | 26 | 2023 |
| 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 | 26* | 2021 |
| 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 | 24* | 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 | 18 | 2023 |
| 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 | 18* | 2021 |
| Weak Adaptation Learning--Addressing Cross-domain Data Insufficiency with Weak Annotator S Xu, L Wang, Y Wang, Q Zhu International Conference on Computer Vision(ICCV), 2021, 2021 | 17 | 2021 |
| 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 | 15 | 2022 |
| 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 | 15 | 2021 |
| 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 | 15 | 2020 |
| 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 | 14 | 2021 |
| State-wise safe reinforcement learning with pixel observations SS Zhan, Y Wang, Q Wu, R Jiao, C Huang, Q Zhu Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2023 | 12 | 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 | 11 | 2024 |
| 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 | 10* | 2023 |
| 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 | 10 | 2022 |
Qi ZhuProfessor of Computer Engineeringnorthwestern.edu üzerinde doğrulanmış e-posta adresine sahip