Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 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]

This list was generated on Mon May 8 04:56:50 2023 BST.