Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor

Nathalie Bertrand, Philippe Schnoebelen

We consider games played on an infinite probabilistic arena where the first player aims at satisfying generalized Büchi objectives almost surely, i.e., with probability one. We pro…