SMLE: Safe Machine Learning via Embedded Overapproximation

Open in new window