M. Francobaldi and M. Lombardi, “SMLE: Safe Machine Learning via Embedded Overapproximation”, AAAI, vol. 39, no. 26, pp. 27286–27294, Apr. 2025.