Computing Publications

Publications Home » Authors » Mr Huaxin Wang


Mr Huaxin Wang

3 publications for this author.

Conference or Workshop Paper

A workbench for preprocessor design and evaluation: toward benchmarks for parity games
Michael Huth, Nir Piterman, Huaxin Wang
Electronic Communications of the EASST
European Association of Software Science and Technology

PhD Thesis

Solving Parity Games Through Fictitious Play [PDF]
Huaxin Wang
Imperial College London, Department of Computing
September, 2013

Master's Thesis

Framework for Under-Approximating Solutions of Parity Games in Polynomial Time [PDF]
Huaxin Wang
Department of Computing, Imperial College London
May, 2007

BibTeX file for these publications built & maintained by Ashok Argent-Katwala.