Brückner, Benedikt, and Alessio Lomuscio. 2025. “Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (26):27215-23. https://doi.org/10.1609/aaai.v39i26.34930.