Brückner B, Lomuscio A. Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 31];39(26):27215-23. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/34930