David Boetius

According to our database, David Boetius authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Probabilistic Verification of Neural Networks using Branch and Bound.

David Boetius, Stefan Leue, Tobias Sutter

CoRR, 2024

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics.

David Boetius, Stefan Leue

CoRR, 2024

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

Verifying Global Neural Network Specifications using Hyperproperties.

David Boetius, Stefan Leue

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 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