47 citations · 144 across the 34 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.GT2012
Determinacy in Stochastic Games with Unbounded Payoff Functions
Tomáš Brázdil, Antonín Kučera, Petr Novotný
We consider infinite-state turn-based stochastic games of two players, Box and Diamond, who aim at maximizing and minimizing the expected total reward accumulated along a run, resp…
cs.FL2012
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Tomáš Brázdil, Antonín Kučera, Petr Novotný +1
We consider the problem of computing the value and an optimal strategy for minimizing the expected termination time in one-counter Markov decision processes. Since the value may be…