Brückner, B. and Lomuscio, A. 2025. Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels. Proceedings of the AAAI Conference on Artificial Intelligence. 39, 26 (Apr. 2025), 27215–27223. DOI:https://doi.org/10.1609/aaai.v39i26.34930.