TY  - RPRT
TI  - Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
AU  - Christian Schilling
AU  - Marcelo Forets
AU  - Sebastian Guadalupe
PY  - 2022
DO  - 10.1609/aaai.v36i7.20790
UR  - https://arxiv.org/abs/2112.09197
ID  - 2112.09197
ER  -