"Automata with Generalized Rabin Pairs for Probabilistic Model Checking and ..."

Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics