Nested Emptiness Search for Generalized Büchi Automata

Heikki Tauriainen

    Research output: Working paperProfessional

    9 Citations (Scopus)
    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2003
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHelsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports
    PublisherHelsinki University of Technology


    • Büchi automata emptiness checking
    • model checking
    • nested depth-first search

    Cite this