Parity Games Played on Transition Graphs of One-Counter Processes.

Olivier Serre

Browse the full FOSSACS paper archive.