Simulation Relations for Alternating Parity Automata and Parity Games

DOI10.1007/11779148_7zbMath1227.68054OpenAlexW1586070392MaRDI QIDQ3617046

Thomas Wilke, Carsten Fritz

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)

Related Items

Consistent Consequence for Boolean Equation Systems, Cooking Your Own Parity Game Preorders Through Matching Plays, Parity game reductions, Memory Reduction for Strategies in Infinite Games, Optimizing Winning Strategies in Regular Infinite Games