341 citations · 642 across the 10 of their papers we have counts for
Showing 2017Show 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…
physics.comp-ph2017★ 19 cited
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…