Reachability Games and Parity Games.

Volker Diekert, Manfred Kufleitner

Browse the full ICTAC paper archive.