V. R. Sathiyanarayana

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 …