Samuel Teuber: Provably Safe Neural Network Controllers via Differential Dynamic Logic

Orpheus

2 Samuel Teuber: Provably Safe Neural Network Controllers via Differential Dynamic Logic

LWEA

1 min read

2

Speaker: Samuel Teuber (KIT (Karlsruhe Institute of Technology)) Talk: Provably Safe Neural Network Controllers via Differential Dynamic Logic

Part of the Guaranteed Safe AI Seminars, a monthly online series on AI systems with quantitative safety guarantees.

YouTube playlist: https://www.youtube.com/playlist?list=PLOutnjp2BEJeQM2J49_KvdpuZlaQXPboy

LESSWRONG
LW

LESSWRONG
LW

2

Samuel Teuber: Provably Safe Neural Network Controllers via Differential Dynamic Logic

2

2