On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata

Heikki Tauriainen

    Research output: Working paperProfessional

    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


    • alternating automata
    • automata minimization
    • linear temporal logic
    • nested depth-first search

    Cite this