Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang. An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. In Martin Fränzle, Deepak Kapur, Naijun Zhan, editors, Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Volume 9984 of Lecture Notes in Computer Science, pages 280-296, 2016. [doi]
Abstract is missing.