Perfect-information Stochastic Parity Games - Archive ouverte HAL Accéder directement au contenu
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)
Loading...

Dates et versions

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

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⟩
44 Consultations
92 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More