Publication [LiLTHZ16] An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties Li, Y.; Liu, W.; Turrini, A.; Hahn, E. M. and Zhang, L. In SETTA, pages 280-296, LNCS 9984, 2016.Downloads: bib
