On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking

Lubos Brim, Milan Ceska, Sven Drazan +1

This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the ge…