SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. - Fabian Bauer-Marquart; David Boetius; Stefan Leue; Christian Schilling 001 (SPIN, 2022)

Verifying Global Neural Network Specifications using Hyperproperties. - David Boetius; Stefan Leue (FoMLAS@CAV, 2023)

A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. - David Boetius; Stefan Leue; Tobias Sutter (ICML, 2023)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics. - David Boetius; Stefan Leue (CoRR, 2024)

Probabilistic Verification of Neural Networks using Branch and Bound. - David Boetius; Stefan Leue; Tobias Sutter (CoRR, 2024)