Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

Christian Schilling, Marcelo Forets, Sebastian Guadalupe

We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This problem is commonly reduced to computing the set of reachable state…