“…Deep Neural Networks (DNNs) and Machine Learning (ML) models in general are gaining momentum in several applications, thanks to their astounding performances and ability to deal with different domains. There are many success stories involving, e.g., financial analysis (Chen et al, 2022, Sako et al, 2022, stock price prediction (Yang et al, 2023), analysis and control of industrial processes (Guidotti et al, 2023a,b, Jahanbakhti et al, 2023, Pavithra et al, 2023, Zhang et al, 2023 or medical analysis (Dash et al, 2023, Gul et al, 2023 and, in recent times, interpretation of MRI images in the context of COVID-19 pandemics (Al-Waisy et al, 2023, Dansana et al, 2023. The application of DNNs may involve safety-or security-sensitive applications (Demarchi et al, 2022, Katz et al, 2017 where the need of formal guarantees on their behavior has great significance.…”