Up a level |
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]