SCHILLING, C.; FORETS, M.; GUADALUPE, S. Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 36, n. 7, p. 8169-8177, 2022. DOI: 10.1609/aaai.v36i7.20790. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/20790. Acesso em: 23 apr. 2024.