Precise Parameter Synthesis for Stochastic Biochemical Systems
We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised/minimised. We develop algorithms based on t...
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Published: |
DCS
2014
|