Omega-Regular Half-Positional Winning Conditions

DOI10.1007/978-3-540-74915-8_7MaRDI QIDQ3608403zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

automatainfinite gamesomega-regular languagespositional strategieswinning condtions

Mathematics Subject Classification ID

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

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 -regular games
• Positional Determinacy of Games with Infinitely Many Priorities

Cited in

(9)

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

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)