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 - Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis

Reference:

Krishnendu Chatterjee, Andreas Gaiser, and Jan Kretinsky. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. In Sharygina and Veith, pages 559–575.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavChatterjeeGK13,
    author = {Krishnendu Chatterjee and Andreas Gaiser and Jan Kretinsky},
    booktitle = {CAV},
    editor = {Natasha Sharygina and Helmut Veith},
    pages = {559-575},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Automata with Generalized {R}abin Pairs for Probabilistic Model Checking and {LTL} Synthesis},
    volume = {8044},
    year = {2013}
}

This work is not available online here.