Static Analysis of Parity Games: Alternating Reachability Under Parity
From MaRDI portal
Publication:2796222
DOI10.1007/978-3-319-27810-0_8zbMath1474.68053MaRDI 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
68Q25: Analysis of algorithms and problem complexity
91A43: Games involving graphs
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items