Simulation Relations for Alternating Parity Automata and Parity Games

DOI10.1007/11779148_7MaRDI QIDQ3617046zbMATH OpenOpenAlexFDO

Authors Carsten Fritz, Thomas Wilke

Publication date 26 March 2009

Published in Developments in Language Theory (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1754630
• Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
• Simulation relations for alternating Büchi automata
• Parity games and automata for game logic
• Alternating Tree Automata and Parity Games
• Static analysis of parity games: alternating reachability under parity
• scientific article; zbMATH DE number 7447732
• Solving parity games using an automata-based algorithm
• Alternating tree automata, parity games, and modal -calculus
• Latticed simulation relations and games

Cited in

(12)

• Parity game reductions
• Consistent consequence for Boolean equation systems
• A cure for stuttering parity games
• On probabilistic alternating simulations
• Cooking Your Own Parity Game Preorders Through Matching Plays
• Memory Reduction for Strategies in Infinite Games
• Multipebble simulations for alternating automata (extended abstract)
• Alternating Tree Automata and Parity Games
• scientific article; zbMATH DE number 1754630 (Why is no real title available?)
• Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
• Optimizing Winning Strategies in Regular Infinite Games
• Simulation relations for alternating Büchi automata

This page was built for publication: Simulation Relations for Alternating Parity Automata and Parity Games

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