Publication

[ChatterjeeGK13] Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis Chatterjee, K.; Gaiser, A. and Kret'insk'y, J. In CAV, pages 559-575, LNCS 8044, 2013.Downloads: bib