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.