Parameter discovery in stochastic biological models using simulated annealing and statistical model checking
{{output}}
Stochastic models are increasingly used to study the behaviour of biochemical systems. While the structure of such models is often readily available from first principles, unknown quantitative features of the model are incorporated into the model as parameters... ...
