Solving Parity Games on Integer Vectors.

Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston

Browse the full CONCUR paper archive.