Francobaldi M, Lombardi M. SMLE: Safe Machine Learning via Embedded Overapproximation. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 14];39(26):27286-94. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/34938