Parity games : descriptive complexity and algorithms for new solvers

Jim Huan-Pu Kuo. Parity games : descriptive complexity and algorithms for new solvers. PhD thesis, Imperial College London, UK, 2013. [doi]

Abstract

Abstract is missing.