SAIV 2024

Speaker

Stefan Mitsch

Talks at this conference:
 Mon, 11:30 Provably Safe Neural Network Controllers via Differential Dynamic Logic

 Overview