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…