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. IJNDI 2023, 2, 100018.