Robustness Verification of Support Vector Machines - Francesco Ranzato; Marco Zanella (2019)