TY  - RPRT
TI  - SMLE: Safe Machine Learning via Embedded Overapproximation
AU  - Matteo Francobaldi
AU  - Michele Lombardi
PY  - 2024
UR  - https://arxiv.org/abs/2409.20517
ID  - 2409.20517
ER  -