Schilling, C., Forets, M., & 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), 8169-8177. https://doi.org/10.1609/aaai.v36i7.20790