Complexity of weak acceptance conditions in tree automata

Weak acceptance conditions for automata on infinite words or trees are defined in terms of the set of states that appear in the run. This is in contrast with, more usual, strong conditions that are defined in terms of states appearing infinitely often on the run. Weak conditions appear in the context of model-checking and translations of logical formalisms to automata. We study the complexity of the emptiness problem for tree automata with weak conditions. We also study the translations between automata with weak and strong conditions.

• Type: Journal
• Year: 2002
• Where: IPL
• Authors: Jakub Neumann, Andrzej Szepietowski, Igor Walukiewicz
• Keywords: Conditions, Infinite Words, IPL 2002, Weak Acceptance Conditions