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

Christian Schilling, Marcelo Forets, Sebastin Guadalupe

Browse the full AAAI paper archive.