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]

Authors

Jim Huan-Pu Kuo

This author has not been identified. Look up 'Jim Huan-Pu Kuo' in Google