GRUNBACHER, S.; HASANI, R.; LECHNER, M.; CYRANKA, J.; SMOLKA, S. A.; GROSU, R. On the Verification of Neural ODEs with Stochastic Guarantees. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 35, n. 13, p. 11525-11535, 2021. DOI: 10.1609/aaai.v35i13.17372. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/17372. Acesso em: 29 mar. 2024.