Schilling, Christian, Marcelo Forets, and Sebastián Guadalupe. “Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 7 (June 28, 2022): 8169-8177. Accessed June 25, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/20790.