Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels

Benedikt Brückner, Alessio Lomuscio

We develop a method for the efficient verification of neural networks against convolutional perturbations such as blurring or sharpening. To define input perturbations we use well-…