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

Date:

This paper was accepted for presentation at 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2016)