Sadegh Soudjani

Necessary and Sufficient Certificates for Almost Sure Reachability

2024 · IEEE Control Systems Letters

We consider the almost sure reachability problem for discrete-time stochastic dynamical systems, which asks if a system reaches a given subset of its state space almost surely (i.e., with probability one). We show necessary and …

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 …