Benedikt Brückner

According to our database, Benedikt Brückner authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

IoUCert: Robustness Verification for Anchor-based Object Detectors.

Benedikt Brückner, Alejandro J. Mercado, Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio

CoRR, March, 2026

2025

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification.

Panagiotis Kouvaros, Benedikt Brückner, Patrick Henriksen, Alessio Lomuscio

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels.

Benedikt Brückner, Alessio Lomuscio

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2023

SHAPE: A Framework for Evaluating the Ethicality of Influence.

Elfia Bezou-Vrakatseli, Benedikt Brückner, Luke Thorburn

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification.

Jianglin Lan, Benedikt Brückner, Alessio Lomuscio

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains.

Tobias Schlagenhauf, Faruk Yildirim, Benedikt Brückner

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

2020

Siamese Basis Function Networks for Defect Classification.

Tobias Schlagenhauf, Faruk Yildirim, Benedikt Brückner, Jürgen Fleischer

CoRR, 2020