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

Reference:

Javier Esparza and Jan Kretínský. From LTL to deterministic automata: A safraless compositional approach. In CAV, pages 192–208, 2014.

Suggested BibTeX entry:

@inproceedings{EsparzaK_CAV14,
    author = {Javier Esparza and Jan Kret\'{\i}nsk{\'y}},
    booktitle = {CAV},
    pages = {192-208},
    title = {From {LTL} to Deterministic Automata: A Safraless Compositional Approach},
    year = {2014}
}

Tech report version, Journal version
This work is not available online here.