Browse by People

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, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787, Kim, Hyoseung, Li, Wenchao and Zhu, Qi (2021) Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 20 (5). pp. 1-25.

Wang, Zhilu, Liang, Hengyi, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi (2021) Cross-Layer Design of Automotive Systems. IEEE DESIGN & TEST, 38 (5). pp. 8-16.

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, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi (2022) Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. In: Design, Automation and Test in Europe Conference, 2022-3-14 - 2022-3-23, ANTWERP, BELGIUM.

Wang, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi (2022) Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. In: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022-3-14 - 2022-3-23.

Huang, Chao ORCID: 0000-0002-9300-1787, Xu, Shichao, Wang, Zhilu, Lan, Shuyue, Li, Wenchao and Zhu, Qi (2020) Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. .

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]