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. Technical Report abs/1304.5281, arXiv.org, 2013.

Suggested BibTeX entry:

@techreport{DBLP:confcavChatterjeeGK1-techreport,
    author = {Krishnendu Chatterjee and Andreas Gaiser and Jan Kretinsky},
    institution = {arXiv.org},
    number = {abs/1304.5281},
    title = {Automata with Generalized {R}abin Pairs for Probabilistic Model Checking and {LTL} Synthesis},
    year = {2013}
}

This work is not available online here.