Department of Computer and Information Science, University of Konstanz, Konstanz, Baden-Württemberg, Germany
David Boetius, Stefan Leue, Tobias Sutter
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks