Khedher, Mohamed Ibn, Houda Jmila, and Mounim A. El-Yacoubi. 2023. “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 2 (4). Melbourne, Australia:100018. https://doi.org/10.53941/ijndi.2023.100018.