%0 Conference Proceedings
%F qapl13
%A Bertrand, N.
%A Schnoebelen, Ph.
%T Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor
%B 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'13)
%E Publishing Association, Open
%V 117
%C Roma, Italia
%X 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
%U http://www.irisa.fr/sumo/Publis/PDF/qapl2013.pdf
%8 March
%D 2013