56 citations · 87 across the 18 of their papers we have counts for
1 paper · 1 filter
Pedro D'Argenio, Axel Legay, Sean Sedwards +1
Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondetermi…