Francobaldi, Matteo

1 publications

AAAI 2025 SMLE: Safe Machine Learning via Embedded Overapproximation Matteo Francobaldi, Michele Lombardi