Khedher, Mohamed Ibn, Houda 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 2, no. 4 (December 21, 2023): 100018. Accessed May 28, 2025. https://w3.sciltp.com/journals/ijndi/article/view/304.