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
Home
 Contact
 Teaching
 People
Publications
 Student Projects
Research
Tools
Heroes of Computer Science
 Help

































Publications by Salomon Sickert

2015

Salomon Sickert. Converting linear temporal logic to deterministic (generalized) rabin automata. Archive of Formal Proofs, September 2015.
Info
See afp.sf.net ...
This publication contains the formalization of LTL_to_DRA.
Javier Esparza, Jan Kretinsky, and Salomon Sickert. From ltl to deterministic automata–a safraless compositional approach. Submitted, 2015.
PDF (690 kB)
Info
Tech report version, Conference version
This publication is a major revision of EsparzaK_CAV14, contains several corrections and new material.