Follow
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. (arXiv:2112.09197v1 [eess.SY]) http://arxiv.org/abs/2112.09197
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. (arXiv:2112.09197v1 [eess.SY]) http://arxiv.org/abs/2112.09197