47 citations · 47 across the 1 of their papers we have counts for
1 paper
Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee +2
We study Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) functions. We consider two different objectives, namely, expectation and satisfaction objecti…