Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems

Arash Bahari Kordabad, Rupak Majumdar, Sadegh Soudjani

In this paper, we present a computational approach to certify almost sure reachability for discrete-time polynomial stochastic systems by turning drift--variant criteria into sum-o…