Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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.