--- res: bibo_abstract: - |- Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete -state continuous-time stochastic models (CTMC) can be used to describe such effects, but the calculation of the probabilities of certain events is computationally expensive. We present a comparison of two analysis approaches for CTMC. On one hand, we estimate the probabilities of interest using repeated Gillespie simulation and determine the statistical accuracy that we obtain. On the other hand, we apply a numerical reachability analysis that approximates the probability distributions of the system at several time instances. We use examples of cellular processes to demonstrate the superiority of the reachability analysis if accurate results are required.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Frédéric foaf_name: Didier, Frédéric foaf_surname: Didier - foaf_Person: foaf_givenName: Thomas A foaf_name: Thomas Henzinger foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 - foaf_Person: foaf_givenName: Maria foaf_name: Maria Mateescu foaf_surname: Mateescu foaf_workInfoHomepage: http://www.librecat.org/personId=3B43276C-F248-11E8-B48F-1D18A9856A87 - foaf_Person: foaf_givenName: Verena foaf_name: Wolf, Verena foaf_surname: Wolf bibo_doi: 10.1007/978-3-642-03845-7_12 bibo_volume: 5688 dct_date: 2009^xs_gYear dct_publisher: Springer@ dct_title: Approximation of event probabilities in noisy cellular processes@ ...