129 citations · 211 across the 78 of their papers we have counts for
1 paper · 1 filter
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
This paper focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex…