KHEDHER, M. I.; JMILA, H.; MOUNIM A. EL-YACOUBI. On the Formal Evaluation of the Robustness of Neural Networks and Its Pivotal Relevance for AI-Based Safety-Critical Domains. International Journal of Network Dynamics and Intelligence, Melbourne, Australia, v. 2, n. 4, p. 100018, 2023. DOI: 10.53941/ijndi.2023.100018. Disponível em: https://w3.sciltp.com/journals/ijndi/article/view/304. Acesso em: 28 may. 2025.