Up a level |
Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Zhilu, Xu, Shichao, Wang, Zhaoran and Zhu, Qi
(2021)
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation.
In: 2021 58th ACM/IEEE Design Automation Conference (DAC), 2021-12-5 - 2021-12-9, San Francisco.
Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Zhaoran, Wang, Zhilu and Zhu, Qi
(2022)
Design-while-Verify: Correct-by-Construction Control Learning with Verification in the Loop.
In: DAC '22: 59th ACM/IEEE Design Automation Conference.
Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2020)
Energy-Efficient Control Adaptation with Safety Guarantees for
Learning-Enabled Cyber-Physical Systems.
Proceedings of the 39th International Conference on Computer-Aided Design, 2020-N.
Wang, Yixuan, Zhou, Weichao, Fan, Jiameng, Wang, Zhilu, Li, Jiajun, Chen, Xin, Huang, Chao ORCID: 0000-0002-9300-1787, Li, Wenchao and Zhu, Qi
(2023)
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
p. 1.
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Wang, Zhilu, Wang, Yixuan, Zhou, Weichao, Li, Jiajun, Chen, Xin, Li, Wenchao and Zhu, Qi
(2021)
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network
Controlled Systems.
[Preprint]
Liu, Xiangguo, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Yixuan, Zheng, Bowen and Zhu, Qi
(2022)
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner.
In: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), 2022-5-4 - 2022-5-6.