Perfect-information Stochastic Parity Games
Résumé
We show that in perfect-information stochastic parity games with a finite state space both players have optimal pure positional strategies. Contrary to the recent proofs of this fact by K. Chatterejee, M. Jurdzi\'nski, T.A. Henzinger and A.K. McIver, C.C. Morgan the proof given in this paper proceeds by a straightforward induction on the number of outgoing transitions available to one of the players and is self-contained.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...