Generalized Parity Games
From MaRDI portal
Publication:5758061
DOI10.1007/978-3-540-71389-0_12zbMath1195.68053MaRDI QIDQ5758061
Krishnendu Chatterjee, Nir Piterman, Thomas A. Henzinger
Publication date: 7 September 2007
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_12
68Q25: Analysis of algorithms and problem complexity
91A43: Games involving graphs
68Q45: Formal languages and automata
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Deciding Parity Games in Quasi-polynomial Time, Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions, Combinations of Qualitative Winning for Stochastic Parity Games, A survey of stochastic \(\omega \)-regular games, Doomsday equilibria for omega-regular games, Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives, Timed games with bounded window parity objectives, Simple stochastic games with almost-sure energy-parity objectives are in NP and conp, Graph Games and Reactive Synthesis, Unnamed Item