Computing Publications

Publications Home » Authors » Mr Huaxin Wang

Authors

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
2009

PhD Thesis

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

Master's Thesis

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

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.