Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation. - Slawomir Kmiec; Yves Lespérance (EMAS@AAMAS, 2014)