Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference

Dimitrios Milios, Guido Sanguinetti, David Schnoerr

Probabilistic model checking for systems with large or unbounded state space is a challenging computational problem in formal modelling and its applications. Numerical algorithms r…