Samuel Teuber
Samuel Teuber
About Me
Research
Teaching
Blog
3
Provably Safe Neural Network Controllers via Differential Dynamic Logic
We present the first approach for the combination of differential dynamic logic (dL) and NN verification. By joining forces, we can exploit the efficiency of NN verification tools while retaining the rigor of dL. This yields infinite-time horizon safety guarantees for neural network control systems.
Samuel Teuber
,
Stefan Mitsch
,
André Platzer
PDF
Cite
Project
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors
We define four concrete approximation steps for the multiplication, division and remainder operators and combine them into an incremental abstraction scheme.
Samuel Teuber
,
Marko Kleine Büning
,
Carsten Sinz
PDF
Cite
Project
Cite
×