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), pp. 27215–27223. doi: 10.1609/aaai.v39i26.34930.