21 citations · 53 across the 22 of their papers we have counts for
1 paper · 2 filters
Arnd Hartmanns, Benjamin Lucien Kaminski
Markov decision processes are widely used for planning and verification in settings that combine controllable or adversarial choices with probabilistic behaviour. The standard anal…