Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

qapl13

N. Bertrand, Ph. Schnoebelen. Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor. In 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'13), Open Publishing Association (ed.), Volume 117, Roma, Italia, March 2013.

Download [help]

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

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

Contact

Nathalie Bertrand http://www.irisa.fr/prive/nbertran/

BibTex Reference

@InProceedings{qapl13,
   Author = {Bertrand, N. and Schnoebelen, Ph.},
   Title = {Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor},
   BookTitle = {11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'13)},
   editor = {Publishing Association, Open},
   Volume = {117},
   Address = {Roma, Italia},
   Month = {March},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)