13 citations · 23 across the 6 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…