(1)
Schilling, C.; Forets, M.; Guadalupe, S. Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. AAAI 2022, 36, 8169-8177.