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}
}