I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - From LTL to Deterministic Automata–A Safraless Compositional Approach


Javier Esparza, Jan Kretinsky, and Salomon Sickert. From ltl to deterministic automata–a safraless compositional approach. Submitted, 2015.

Suggested BibTeX entry:

    author = {Javier Esparza and Jan Kretinsky and Salomon Sickert},
    journal = {Submitted},
    title = {From LTL to Deterministic Automata--A Safraless Compositional Approach},
    year = {2015}

PDF (690 kB)
Tech report version, Conference version
This publication is a major revision of EsparzaK_CAV14, contains several corrections and new material.