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