Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels.

Benedikt Brckner, Alessio Lomuscio

Browse the full AAAI paper archive.