Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.

Krishnendu Chatterjee, Andreas Gaiser, Jan Kretnsk

Browse the full CAV paper archive.