RUOSS, A.; BAADER, M.; BALUNOVIĆ, M.; VECHEV, M. Efficient Certification of Spatial Robustness. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 35, n. 3, p. 2504-2513, 2021. DOI: 10.1609/aaai.v35i3.16352. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/16352. Acesso em: 25 apr. 2024.