Fatal Attractors in Parity Games

DOI10.1007/978-3-642-37075-5_3zbMath1260.68231OpenAlexW1753901747MaRDI QIDQ4910410

Michael Huth, Jim Huan-Pu Kuo, Nir Piterman

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Parity game reductions ⋮ The Rabin index of parity games: its complexity and approximation ⋮ Unnamed Item