28 citations · 73 across the 18 of their papers we have counts for
1 paper · 1 filter
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the problem of computing the maximal probability of satisfying an omega-regular specification for stochastic nonlinear systems evolving in discrete time. The problem re…