cs.LG cs.AI cs.CV
Ben Batten Yang Zheng Alessandro De Palma Panagiotis Kouvaros Alessio Lomuscio
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation