Minimal Modifications of Deep Neural Networks using Verification. - Ben Goldberger; Guy Katz; Yossi Adi; Joseph Keshet (LPAR, 2020)