An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties

Published in Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), 2016

Recommended citation:

This is joint work with Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, and Lijun Zhang. The published paper is available here.