Finitary winning in omega-regular games

Open Webpage

Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn

Published: 2009, Last Modified: 27 Apr 2025ACM Trans. Comput. Log. 2009EveryoneRevisionsBibTeXCC BY-SA 4.0