341 citations · 860 across the 36 of their papers we have counts for
4 papers · 1 filter
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…
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…
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
We present a novel approach to learn the formulae characterising the emergent behaviour of a dynamical system from system observations. At a high level, the approach starts by devi…
On the Robustness of Temporal Properties for Stochastic Models
Ezio Bartocci, Luca Bortolussi, Laura Nenzi +1
Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid Automata (SHA) are powerful formalisms to model and to reason about the dynamics of biological…