Solving Counter Parity Games

DOI10.1007/978-3-642-32589-2_17zbMath1365.68314OpenAlexW1549541479MaRDI 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

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Uniform strategies, rational relations and jumping automata

This page was built for publication: Solving Counter Parity Games