Francobaldi, M.; Lombardi, M. SMLE: Safe Machine Learning via Embedded Overapproximation. AAAI 2025, 39, 27286-27294.