94 citations · 117 across the 11 of their papers we have counts for
1 paper · 1 filter
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…