Conférence
Probabilistic model checking for continuous-time Markov chains via sequential bayesian inference
QEST 2018, 15th International Conference on Quantitative Evaluation of Systems, September 4-7, 2018, Beijing, China / Also published in LNCS, Vol.11024