22 citations · 39 across the 32 of their papers we have counts for
1 paper · 2 filters
Sebastian Junges, Matthijs T. J. Spaan
Markov decision processes are a ubiquitous formalism for modelling systems with non-deterministic and probabilistic behavior. Verification of these models is subject to the famous…