51 citations · 122 across the 7 of their papers we have counts for
1 paper · 1 filter
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca +2
Markov decision processes (MDPs) are standard models for probabilistic systems with non-deterministic behaviours. Long-run average rewards provide a mathematically elegant formalis…