On the Synthesis of Strategies in Infinite Games.

Wolfgang Thomas

Browse the full STACS paper archive.