2 citations · 3 across the 8 of their papers we have counts for
1 paper · 2 filters
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…