47 citations · 115 across the 33 of their papers we have counts for
Showing 2011 · cs.GTShow all
2 papers · 2 filters
cs.GT2011★ 2 cited
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Tomáš Brázdil, Václav Brožek, Kousha Etessami +1
One-counter MDPs (OC-MDPs) and one-counter simple stochastic games (OC-SSGs) are 1-player, and 2-player turn-based zero-sum, stochastic games played on the transition graph of clas…
cs.GT2011★ 47 cited
Markov Decision Processes with Multiple Long-run Average Objectives
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…