David Boetius

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Branch And Bound

Multi Layer Perceptron

Lagrangian Heuristic

Top Venues

Publications

David Boetius, Stefan Leue, Tobias Sutter
Probabilistic Verification of Neural Networks using Branch and Bound. CoRR (2024)
David Boetius, Stefan Leue
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics. CoRR (2024)
David Boetius, Stefan Leue, Tobias Sutter
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. ICML (2023)
David Boetius, Stefan Leue
Verifying Global Neural Network Specifications using Hyperproperties. FoMLAS@CAV (2023)
David Boetius, Stefan Leue, Tobias Sutter
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. CoRR (2023)
David Boetius, Stefan Leue
Verifying Global Neural Network Specifications using Hyperproperties. CoRR (2023)
Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. SPIN (2022)