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 or minimised. Our method is based on extend...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Published: |
Springer
2016
|