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