Inference on gravitational waves from coalescences of stellar-mass compact objects and intermediate-mass black holes CJ Haster, Z Wang, CPL Berry, S Stevenson, J Veitch, I Mandel Monthly Notices of the Royal Astronomical Society 457 (4), 4499-4506, 2016 | 56 | 2016 |
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, ... International Conference on Machine Learning, 36593-36604, 2023 | 40 | 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 | 38 | 2020 |
Opportunistic intermittent control with safety guarantees for autonomous systems C Huang, S Xu, Z Wang, S Lan, W Li, Q Zhu 2020 57th ACM/IEEE design automation conference (DAC), 1-6, 2020 | 29 | 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 | 28 | 2021 |
Security-driven codesign with weakly-hard constraints for real-time embedded systems H Liang, Z Wang, D Roy, S Dey, S Chakraborty, Q Zhu 2019 IEEE 37th International Conference on Computer Design (ICCD), 217-226, 2019 | 25 | 2019 |
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 | 22 | 2023 |
Efficient global robustness certification of neural networks via interleaving twin-network encoding Z Wang, C Huang, Q Zhu 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022 | 22 | 2022 |
Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees H Liang, Z Wang, R Jiao, Q Zhu Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 19 | 2020 |
Design-while-verify: correct-by-construction control learning with verification in the loop Y Wang, C Huang, Z Wang, Z Wang, Q Zhu Proceedings of the 59th ACM/IEEE Design Automation Conference, 925-930, 2022 | 17 | 2022 |
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 2021 58th ACM/IEEE Design Automation Conference (DAC), 397-402, 2021 | 14 | 2021 |
Cross-layer design of automotive systems Z Wang, H Liang, C Huang, Q Zhu IEEE Design & Test 38 (5), 8-16, 2020 | 14 | 2020 |
Design automation for intelligent automotive systems S Lan, C Huang, Z Wang, H Liang, W Su, Q Zhu 2018 IEEE International Test Conference (ITC), 1-10, 2018 | 13 | 2018 |
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 arXiv preprint arXiv:2304.01218, 2023 | 11 | 2023 |
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 | 11 | 2021 |
Cross-layer adaptation with safety-assured proactive task job skipping Z Wang, C Huang, H Kim, W Li, Q Zhu ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-25, 2021 | 9 | 2021 |
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 | 8 | 2024 |
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 |
Addressing extensibility and fault tolerance in can-based automotive systems H Liang, Z Wang, B Zheng, Q Zhu Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on …, 2017 | 7 | 2017 |
Verification in the loop: Correct-by-construction control learning with reach-avoid guarantees Y Wang, C Huang, Z Wang, Z Wang, Q Zhu arXiv preprint arXiv:2106.03245, 2021 | 6 | 2021 |