David Boetius

According to our database, David Boetius authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Verifying Global Neural Network Specifications using Hyperproperties.

David Boetius, Stefan Leue

CoRR, 2023

A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks.

David Boetius, Stefan Leue, Tobias Sutter

Proceedings of the International Conference on Machine Learning, 2023

2022

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.

Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling

Proceedings of the Model Checking Software - 28th International Symposium, 2022