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 - Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata

Reference:

Salomon Sickert. Converting linear temporal logic to deterministic (generalized) rabin automata. Archive of Formal Proofs, September 2015.

Suggested BibTeX entry:

@article{LTL_to_DRA-AFP,
    author = {Salomon Sickert},
    journal = {Archive of Formal Proofs},
    month = {September},
    title = {Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata},
    year = {2015}
}

See afp.sf.net ...
This publication contains the formalization of LTL_to_DRA.