Teuber, Samuel

2 publications

AAAI 2024 An Information-Flow Perspective on Algorithmic Fairness Samuel Teuber, Bernhard Beckert

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