Benedikt Brückner

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

Collaborative distances:

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

2025

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

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

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels.

Benedikt Brückner, Alessio Lomuscio

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 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