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), pp. 8169-8177. doi: 10.1609/aaai.v36i7.20790.