43 citations · 119 across the 29 of their papers we have counts for
1 paper · 2 filters
Lina Gerlach, Tobias Winkler, Erika Ábrahám +2
Markov decision processes model systems subject to nondeterministic and probabilistic uncertainty. A plethora of verification techniques addresses variations of reachability proper…