Marcin Jurdzinski: Algorithms for Solving Infinite Games. SOFSEM 2009: 46-48