Personal information

Activities

Collapse all

Employment (1)

Imperial College London: London, GB

2021 to present | PhD Student (Department of Computing)
Employment
Source: Self-asserted source
Benedikt Brückner

Education and qualifications (2)

Karlsruhe Institute of Technology: Karlsruhe, DE

2018 to 2021 | M. Sc. Industrial Engineering and Management (Department of Economics and Management)
Education
Source: Self-asserted source
Benedikt Brückner

Karlsruhe Institute of Technology: Karlsruhe, DE

2015 to 2018 | B. Sc. Industrial Engineering and Management (Department of Economics and Management)
Education
Source: Self-asserted source
Benedikt Brückner

Works (3)

SHAPE: A Framework for Evaluating the Ethicality of Influence

2023 | Book chapter
DOI: 10.1007/978-3-031-43264-4_11
Contributors: Elfia Bezou-Vrakatseli; Benedikt Brückner; Luke Thorburn
Source: check_circle
Crossref

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

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
2023 | Book chapter
DOI: 10.1007/978-3-031-26236-4_7
Part of ISBN: 9783031262357
Part of ISBN: 9783031262364
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Tobias Schlagenhauf; Faruk Yildirim; Benedikt Brückner
Source: Self-asserted source
Benedikt Brückner

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

Proceedings of the AAAI Conference on Artificial Intelligence
2023-06-26 | Journal article
DOI: 10.1609/aaai.v37i12.26745
Part of ISSN: 2374-3468
Part of ISSN: 2159-5399
Contributors: Jianglin Lan; Benedikt Brückner; Alessio Lomuscio
Source: Self-asserted source
Benedikt Brückner
How many people are using ORCID?