[PPT] - Time-optimal Winning Strategies in Infinite Games Martin Zimmermann PowerPoint Presentation