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

Wieslaw Zielonka

Published in: Theor. Comput. Sci. (1998)

Keyphrases

regular languages
data structure
graph matching
tree automata
decision trees
multi agent
video games
regular expressions
tree structured data