Publication [QuatmannJK17] Markov Automata with Multiple Objectives Quatmann, T.; Junges, S. and Katoen, J.-P. In CAV, pages 140-159, LNCS 10426, 2017.Downloads: bib
