Brückner, B.; Lomuscio, A. Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels. AAAI 2025, 39, 27215-27223.