Authors Search About

Mitsch, Stefan

1 publications

NeurIPS 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber, Stefan Mitsch, André Platzer

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy