STACS 2004

DOI10.1007/B96012MaRDI QIDQ5309683zbMATH OpenOpenAlexFDO

Authors Erich Grädel

Publication date 1 October 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96012

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Descriptive set theory (03E15) 2-person games (91A05) Positional games (pursuit and evasion, etc.) (91A24) Games involving topology, set theory, or logic (91A44) Applications of game theory (91A80)

Recommendations

• Positional Determinacy of Games with Infinitely Many Priorities
• Half-Positional Determinacy of Infinite Games
• On the positional determinacy of edge-labeled games
• On the determinacy of concurrent games on event structures with infinite winning sets
• Computer Science Logic

Cited in

(19)

• Looking at mean payoff through foggy windows
• Winning strategies for infinite games: from large cardinals to computer science extended abstract
• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
• On the determinacy of concurrent games on event structures with infinite winning sets
• The Mate-in-n Problem of Infinite Chess Is Decidable
• Once upon a time in the West. Determinacy, definability, and complexity of path games
• Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
• Exploring the boundary of half positionality
• Half-Positional Determinacy of Infinite Games
• Determinateness of certain almost-Borel games
• Finiteness in the Beggar-My-Neighbor card game
• Solving Infinite Games in the Baire Space
• Positional Determinacy of Games with Infinitely Many Priorities
• A Multi-Core Solver for Parity Games
• scientific article; zbMATH DE number 7056063 (Why is no real title available?)
• scientific article; zbMATH DE number 7327943 (Why is no real title available?)
• Exploring the boundary of half-positionality
• Positional-player games
• On the positional determinacy of edge-labeled games

This page was built for publication: STACS 2004

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