@article{NEUMANN2002181,
    Abstract = {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.},
    Author = {Neumann, Jakub and Szepietowski, Andrzej and Walukiewicz, Igor},
    File = {Complexity of weak acceptance conditions in tree automata - 1-s2.0-S0020019002002855-main - a - a - s.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {Formal languages, Computational complexity, Tree automata, Weak conditions, Emptiness problem},
    Number = {4},
    Pages = {181 - 187},
    Title = {Complexity of weak acceptance conditions in tree automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0020019002002855},
    Volume = {84},
    Year = {2002},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019002002855},
    bdsk-url-2 = {https://doi.org/10.1016/S0020-0190(02)00285-5},
    date-added = {2020-02-07 13:57:48 +0100},
    date-modified = {2020-02-07 13:57:48 +0100},
    file-2 = {The Emptiness Problem for Weak Rabin Tree Automata - igw-weak - a - a - s.pdf},
    doi = {10.1016/S0020-0190(02)00285-5}
}

@article{NEUMANN2002181, Abstract = {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.}, Author = {Neumann, Jakub and Szepietowski, Andrzej and Walukiewicz, Igor}, File = {Complexity of weak acceptance conditions in tree automata - 1-s2.0-S0020019002002855-main - a - a - s.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {Formal languages, Computational complexity, Tree automata, Weak conditions, Emptiness problem}, Number = {4}, Pages = {181 - 187}, Title = {Complexity of weak acceptance conditions in tree automata}, URL = {http://www.sciencedirect.com/science/article/pii/S0020019002002855}, Volume = {84}, Year = {2002}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019002002855}, bdsk-url-2 = {https://doi.org/10.1016/S0020-0190(02)00285-5}, date-added = {2020-02-07 13:57:48 +0100}, date-modified = {2020-02-07 13:57:48 +0100}, file-2 = {The Emptiness Problem for Weak Rabin Tree Automata - igw-weak - a - a - s.pdf}, doi = {10.1016/S0020-0190(02)00285-5} }