Khedher, M.I., Jmila, H. 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 (Dec. 2023), 100018. DOI:https://doi.org/10.53941/ijndi.2023.100018.