Khedher, M. I., H. Jmila, and 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, vol. 2, no. 4, Dec. 2023, p. 100018, doi:10.53941/ijndi.2023.100018.