Schilling, C., M. Forets, and S. Guadalupe. “Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, June 2022, pp. 8169-77, doi:10.1609/aaai.v36i7.20790.