Solving Stochastic B\"uchi Games on Infinite Arenas with a Finite Attractor

Abstract

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 provide a fixpoint characterization of the winning sets and associated winning strategies in the case where the arena satisfies the finite-attractor property. From this we directly deduce the decidability of these games on probabilistic lossy channel systems.

DOI: 10.4204/EPTCS.117.8

Extracted Key Phrases

Cite this paper

@inproceedings{Bertrand2012SolvingSB, title={Solving Stochastic B\"uchi Games on Infinite Arenas with a Finite Attractor}, author={Nathalie Bertrand and Philippe Schnoebelen}, year={2012} }