Department of Computer Science, ETH Zurich, Switzerland
Claudio Ferrari, Mark N Müller, Nikola Jovanović, Martin Vechev
Certified Robustness;Branch-and-Bound;Convex Relaxation
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound