LADNER, T.; ALTHOFF, M. Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 38, n. 19, p. 21304-21311, 2024. DOI: 10.1609/aaai.v38i19.30125. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/30125. Acesso em: 6 aug. 2024.