Oliver Schön

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

2026 · Proceedings of the AAAI Conference on Artificial Intelligence

Ensuring the safety of AI-enabled systems, particularly in high-stakes domains such as autonomous driving and healthcare, has become increasingly critical. Traditional formal verification tools fall short when faced with systems that embed both opaque, black-box …