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. 2023, 2(4), 100018. doi: https://doi.org/10.53941/ijndi.2023.100018