Property-Driven State-Space Coarsening for Continuous Time Markov Chains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti. Property-Driven State-Space Coarsening for Continuous Time Markov Chains. In Gul Agha, Benny Van Houdt, editors, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Volume 9826 of Lecture Notes in Computer Science, pages 3-18, Springer, 2016. [doi]

This author has not been identified. Look up 'Michalis Michaelides' in GoogleThis author has not been identified. Look up 'Dimitrios Milios' in GoogleThis author has not been identified. Look up 'Jane Hillston' in GoogleThis author has not been identified. Look up 'Guido Sanguinetti' in Google

runs on WebDSL