Finitary winning in omega-regular games

Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn. Finitary winning in omega-regular games. ACM Trans. Comput. Log., 11(1), 2009. [doi]

Abstract

Abstract is missing.