On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking

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 general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Marko...

Ausführliche Beschreibung