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