Nested Emptiness Search for Generalized Büchi Automata

Heikki Tauriainen

    Research output: Contribution to journalArticleScientificpeer-review

    5 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)127-154
    JournalFundamenta Informaticae
    Volume70
    Issue number1-2
    Publication statusPublished - 2006
    MoE publication typeA1 Journal article-refereed

    Keywords

    • Büchi automata
    • Model checking
    • Nested depth-first search

    Cite this