341 citations · 860 across the 36 of their papers we have counts for
3 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…
Learning the structure of Bayesian Networks via the bootstrap
Giulio Caravagna, Daniele Ramazzotti
Learning the structure of dependencies among multiple random variables is a problem of considerable theoretical and practical interest. Within the context of Bayesian Networks, a p…
Efficient Low-Order Approximation of First-Passage Time Distributions
David Schnoerr, Botond Cseke, Ramon Grima +1
We consider the problem of computing first-passage time distributions for reaction processes modelled by master equations. We show that this generally intractable class of problems…