TY  - RPRT
TI  - Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
AU  - Krishnendu Chatterjee
AU  - Andreas Gaiser
AU  - Jan Křetínský
PY  - 2013
UR  - https://arxiv.org/abs/1304.5281
ID  - 1304.5281
ER  -