[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: bibURL: https://doi.org/10.1007/978-3-319-47677-3_18