SAIV 2024

Speaker

Samuel Teuber

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

 Overview