I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Rabinizer 2: Small Deterministic Automata for LTLbackslashGU


Jan Kretinsky and Ruslan Ledesma-Garza. Rabinizer 2: Small deterministic automata for LTLGU. In Hung and Ogawa, pages 446–450.

Suggested BibTeX entry:

    author = {Jan Kretinsky and Rusl{a}n Ledesma-Garza},
    booktitle = {ATVA},
    editor = {Dang Van Hung and Mizuhito Ogawa},
    pages = {446-450},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Rabinizer 2: Small Deterministic Automata for {LTL$\backslash$GU}},
    volume = {8172},
    year = {2013}

This work is not available online here.