Publication [KatoenS17] Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata Katoen, J.-P. and Sher, F. In Models, Algorithms, Logics and Tools, pages 426-445, Springer, Lecture Notes in Computer Science 10460, 2017.Downloads: bib
