Algorithms for Mean-Payoff and Energy Games - Chaloupka, Jakub (Dizertace (Ph.D.)–Masarykova univerzita, Fakulta informatiky, 2011, 2011)
Vedoucí práce: Luboš Brim