Talks

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Symposium on AI Verification (Montreal, Canada)

22. Jul 2024
An Information-Flow Perspective on Algorithmic Fairness

KeY Symposium (Bergen, Norway)

10. Aug 2023