Robustness Verifcation in Neural Networks

Adrian Wurm

In this paper we investigate formal verification problems for Neural Network computations. Of central importance will be various robustness and minimization problems such as: Given…