SAIV 2024

Speaker

Stefan Mitsch

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

 Overview