On strong determinacy of countable stochastic games

<p>We study 2-player turn-based perfect-information stochastic games with countably infinite state space. The players aim at maximizing/minimizing the probability of a given event (i.e., measurable set of infinite plays), such as reachability, Büchi, ω-regular or more general objectives.</p...

Full description

Bibliographic Details
Main Authors: Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D
Format: Conference item
Published: Institute for Electrical and Electronics Engineers 2017