Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees

Wieslaw Zielonka. Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees. Theoretical Computer Science, 200(1-2):135-183, 1998. [doi]

Abstract

Abstract is missing.