Memory Reduction for Strategies in Infinite Games

DOI10.1007/978-3-540-76336-9_24MaRDI QIDQ3503911zbMATH OpenOpenAlexFDO

Authors Michael Holtmann, Christof Löding

Publication date 10 June 2008

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-76336-9_24

zbMATH Keywords

attractorautomatonBüchiDWAGAStinfinite gamesmemory reductionreductionrequest-response gameStaiger-Wagner gamestrategy

Mathematics Subject Classification ID

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

Recommendations

• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Optimizing Winning Strategies in Regular Infinite Games
• scientific article; zbMATH DE number 1096547
• What kind of memory is needed to win infinitary Muller games?
• scientific article; zbMATH DE number 2040951

Cites work

• Efficient minimization of deterministic weak -automata
• Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
• scientific article; zbMATH DE number 3328721 (Why is no real title available?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Memory Reduction for Strategies in Infinite Games
• On the synthesis of strategies in infinite games
• Simulation Relations for Alternating Parity Automata and Parity Games
• Solving Sequential Conditions by Finite-State Strategies
• Symbolic synthesis of finite-state controllers for request-response specifications

Cited in

(7)

• Quantitative reductions and vertex-ranked infinite games
• The complexity of request-response games
• Quantitative reductions and vertex-ranked infinite games
• Memory Reduction for Strategies in Infinite Games
• What kind of memory is needed to win infinitary Muller games?
• Optimizing Winning Strategies in Regular Infinite Games
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Memory Reduction for Strategies in Infinite Games

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