33 citations · 73 across the 12 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 1 cited
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…
cs.LO2014★ 6 cited
Smoothed Model Checking for Uncertain Continuous Time Markov Chains
Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this satisfaction probability is a sm…