Omega-Regular Half-Positional Winning Conditions

DOI10.1007/978-3-540-74915-8_7zbMATH Open1179.68071OpenAlexW1607296857MaRDI QIDQ3608403FDOQ3608403

Authors: Eryk Kopczyński 

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_7

Recommendations

• Half-Positional Determinacy of Infinite Games
• Note on winning positions on pushdown games with \(\omega\)-regular conditions
• Quantitative solution of omega-regular games
• Quantitative solution of \(\omega\)-regular games
• Positional Determinacy of Games with Infinitely Many Priorities

zbMATH Keywords

automatainfinite gamespositional strategiesomega-regular languageswinning condtions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Games involving graphs (91A43)

Cited In (7)

• Exploring the boundary of half-positionality
• Positional Determinacy of Games with Infinitely Many Priorities
• Half-positional objectives recognized by deterministic Büchi automata
• Half-positional objectives recognized by deterministic Büchi automata
• Exploring the boundary of half positionality
• Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
• Infinite separation between general and chromatic memory

This page was built for publication: Omega-Regular Half-Positional Winning Conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608403)