Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dimitrios Milios, Guido Sanguinetti, David Schnoerr. Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference. In Annabelle McIver, Andras Horvath, editors, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Volume 11024 of Lecture Notes in Computer Science, pages 289-305, Springer, 2018. [doi]

This author has not been identified. Look up 'Dimitrios Milios' in GoogleThis author has not been identified. Look up 'Guido Sanguinetti' in GoogleThis author has not been identified. Look up 'David Schnoerr' in Google

runs on WebDSL