Communication Dans Un Congrès Année : 2004

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.

Fichier principal
Vignette du fichier
fossacs105.pdf (179.6 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00160441 , version 1 (06-07-2007)

Licence

Identifiants

Citer

Wieslaw Zielonka. Perfect-information Stochastic Parity Games. Foundations of Software Science and Computation Structures (FOSSACS 2004), 2004, Spain. pp.499-513, ⟨10.1007/b95995⟩. ⟨hal-00160441⟩
91 Consultations
254 Téléchargements

Altmetric

Partager

  • More