Generalized Parity Games
From MaRDI portal
Publication:5758061
DOI10.1007/978-3-540-71389-0_12zbMath1195.68053OpenAlexW1549870311MaRDI 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
Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Formal languages and automata (68Q45)
Related Items (16)
Graph Games and Reactive Synthesis ⋮ Deciding Parity Games in Quasi-polynomial Time ⋮ A survey of stochastic \(\omega \)-regular games ⋮ Poster Abstract: Permissiveness for Strategy Adaptation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Combinations of Qualitative Winning for Stochastic Parity Games ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Doomsday equilibria for omega-regular games ⋮ Unnamed Item ⋮ Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives ⋮ Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions ⋮ Timed games with bounded window parity objectives
This page was built for publication: Generalized Parity Games
