Static Analysis of Parity Games: Alternating Reachability Under Parity
From MaRDI portal
Publication:2796222
DOI10.1007/978-3-319-27810-0_8zbMath1474.68053OpenAlexW2294218349MaRDI QIDQ2796222
Jim Huan-Pu Kuo, Michael Huth, Nir Piterman
Publication date: 23 March 2016
Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10044/1/28804
Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
This page was built for publication: Static Analysis of Parity Games: Alternating Reachability Under Parity