SMLE: Safe Machine Learning via Embedded Overapproximation.

Matteo Francobaldi, Michele Lombardi

Browse the full AAAI paper archive.