Highly Influenced

3 Excerpts

@inproceedings{Milios2018ProbabilisticMC, title={Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference}, author={Dimitrios Milios and Guido Sanguinetti and David Schnoerr}, booktitle={QEST}, year={2018} }

- Published in QEST 2018
DOI:10.1007/978-3-319-99154-2_18

Probabilistic model checking for systems with large or unbounded state space is a challenging computational problem in formal modelling and its applications. Numerical algorithms require an explicit representation of the state space, while statistical approaches require a large number of samples to estimate the desired properties with high confidence. Here, we show how model checking of time-bounded path properties can be recast exactly as a Bayesian inference problem. In this novel formulation… CONTINUE READING