PUBLICATION: Probabilistic model checking for continuous-time Markov chains via sequential bayesian inference
© Springer. Personal use of this material is permitted. The definitive version of this paper was published in QEST 2018, 15th International Conference on Quantitative Evaluation of Systems, September 4-7, 2018, Beijing, China / Also published in LNCS, Vol.11024 and is available at : https://doi.org/10.1007/978-3-319-99154-2_18