Benedikt Brückner
Orcid: 0000-0003-0699-1688
According to our database1,
Benedikt Brückner
authored at least 4 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
2020