B. Brückner and A. Lomuscio, “Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels”, AAAI, vol. 39, no. 26, pp. 27215–27223, Apr. 2025.