Provably Safe Neural Network Controllers via Differential Dynamic Logic - Teuber, Samuel; Mitsch, Stefan; Platzer, André (Advances in Neural Information Processing Systems, 2024)