Khedher MI, 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. IJNDI [Internet]. 2023 Dec. 21 [cited 2025 May 28];2(4):100018. Available from: https://w3.sciltp.com/journals/ijndi/article/view/304