David Boetius

According to our database, David Boetius authored at least 8 papers between 2022 and 2026.

Collaborative distances:

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

2026

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks.

David Boetius, Shahaf Bassan, Guy Katz, Stefan Leue, Tobias Sutter

CoRR, May, 2026

2025

Stable Robot Motions on Manifolds: Learning Lyapunov-Constrained Neural Manifold ODEs.

David Boetius, Abdelrahman Abdelnaby, Ashok Kumar, Stefan Leue, Abdalla Swikir, Fares J. Abu-Dakka

CoRR, October, 2025

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound.

David Boetius, Stefan Leue, Tobias Sutter

Proceedings of the Forty-second International Conference on Machine Learning, 2025

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