Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels

Brückner and Lomuscio. "Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I26.34930

[Brückner and Lomuscio. "Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/bruckner2025aaai-verification/) doi:10.1609/AAAI.V39I26.34930

@inproceedings{bruckner2025aaai-verification,
  title     = {{Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels}},
  author    = {Brückner, Benedikt and Lomuscio, Alessio},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {27215-27223},
  doi       = {10.1609/AAAI.V39I26.34930},
  url       = {https://mlanthology.org/aaai/2025/bruckner2025aaai-verification/}
}