Solving Stochastic Büchi 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2012
- DOI:
- 10.48550/arXiv.1207.4577
- arXiv:
- arXiv:1207.4577
- Bibcode:
- 2012arXiv1207.4577B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Computer Science and Game Theory;
- D.2.4;
- G.3;
- C.2.2
- E-Print:
- In Proceedings QAPL 2013, arXiv:1306.2413