research
∙
11/06/2017
Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference
Probabilistic model checking for systems with large or unbounded state s...
share
research
∙
06/01/2017
Efficient Low-Order Approximation of First-Passage Time Distributions
We consider the problem of computing first-passage time distributions fo...
research
∙
08/23/2016
Approximation and inference methods for stochastic biochemical kinetics - a tutorial review
Stochastic fluctuations of molecule numbers are ubiquitous in biological...
research
∙
01/08/2016
Cox process representation and inference for stochastic reaction-diffusion processes
Complex behaviour in many systems arises from the stochastic interaction...
research
∙
12/18/2015