Optimizing Winning Strategies in Regular Infinite Games.

Wolfgang Thomas

Browse the full SOFSEM paper archive.