Note on winning positions on pushdown games with omega-regular winning conditions - Université Paris Cité Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2003

Note on winning positions on pushdown games with omega-regular winning conditions

Résumé

We consider infinite two-player games on pushdown graphs. For parity winning conditions, we show that the set of winning positions of each player is regular and we give an effective construction of an alternating automaton recognizing it. This provides a DEXPTIME procedure to decide whether a position is winning for a given player. Finally, using the same methods, we show, for any É-regular winning condition, that the set of winning positions for a given player is regular and effective.
Fichier principal
Vignette du fichier
push_ipl2.pdf (116.66 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00009319 , version 1 (03-10-2005)

Identifiants

Citer

Olivier Serre. Note on winning positions on pushdown games with omega-regular winning conditions. Information Processing Letters, 2003, 85, pp.285-291. ⟨10.1016/S0020-0190(02)00445-3⟩. ⟨hal-00009319⟩
70 Consultations
208 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More