 | Up a level |
Number of items: 2.
Wang, Yixuan, Zhou, Weichao, Fan, Jiameng, Wang, Zhilu, Li, Jiajun 
ORCID: 0000-0001-8989-7739, 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, 43 (3).
p. 1.
Huang, Chao ORCID: 0000-0002-9300-1787, Fan, Jiameng, Wang, Zhilu, Wang, Yixuan, Zhou, Weichao, Li, Jiajun ORCID: 0000-0001-8989-7739, Chen, Xin, Li, Wenchao and Zhu, Qi
(2021)
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network
Controlled Systems.
[Preprint]