TY  - RPRT
TI  - Provably Safe Neural Network Controllers via Differential Dynamic Logic
AU  - Samuel Teuber
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2024
DO  - 10.52202/079017-0051
UR  - https://arxiv.org/abs/2402.10998
ID  - 2402.10998
ER  -