Brückner, Benedikt

3 publications

AAAI 2025 Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification Panagiotis Kouvaros, Benedikt Brückner, Patrick Henriksen, Alessio Lomuscio

AAAI 2025 Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner, Alessio Lomuscio

AAAI 2023 A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification Jianglin Lan, Benedikt Brückner, Alessio Lomuscio