Schilling, Christian, Marcelo Forets, and Sebastián Guadalupe. 2022. “Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (7):8169-77. https://doi.org/10.1609/aaai.v36i7.20790.