Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation

We study time-bounded probabilistic reachability for Chemical Reaction Networks (CRNs) using the Linear Noise Approximation (LNA). The LNA approximates the discrete stochastic semantics of a CRN in terms of a continuous space Gaussian process. We consider reachability regions expressed as intersecti...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Kwiatkowska, M, Bortolussi, L, Cardelli, L, Laurenti, L
Fformat: Conference item
Cyhoeddwyd: Springer Verlag 2016