Schilling, C., Forets, M. and Guadalupe, S. 2022. Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. Proceedings of the AAAI Conference on Artificial Intelligence. 36, 7 (Jun. 2022), 8169-8177. DOI:https://doi.org/10.1609/aaai.v36i7.20790.