C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
David Boetius
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Multi Layer Perceptron
Backpropagation Neural Network
Fuzzy Systems
Back Propagation
Top Venues
CoRR
ICML
SPIN
</>
Publications
</>
David Boetius
,
Stefan Leue
,
Tobias Sutter
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks.
ICML
(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)