Statistical Model Checking based Analysis of Biological Networks

Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan

We introduce a framework for analyzing ordinary differential equation (ODE) models of biological networks using statistical model checking (SMC). A key aspect of our work is the mo…