Solving Counter Parity Games
From MaRDI portal
Publication:2912718
DOI10.1007/978-3-642-32589-2_17zbMath1365.68314MaRDI QIDQ2912718
Dietmar Berwanger, Simon Leßenich, Łukasz Kaiser
Publication date: 25 September 2012
Published in: Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32589-2_17
91A80: Applications of game theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items