Statistical model checking-based analysis of biological networks

B Liu, BM Gyori, PS Thiagarajan - Automated Reasoning for Systems …, 2019 - Springer
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 …
被引用次数：8 相关文章

Statistical Model Checking based Analysis of Biological Networks

B Liu, BM Gyori, PS Thiagarajan - arXiv e-prints, 2018 - ui.adsabs.harvard.edu
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 …

Statistical Model Checking-Based Analysis of Biological Networks

B Liu, BM Gyori, PS Thiagarajan - Automated Reasoning for Systems …, 2019 - Springer
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 …

Statistical Model Checking based Analysis of Biological Networks

B Liu, BM Gyori, PS Thiagarajan - arXiv preprint arXiv:1812.01091, 2018 - arxiv.org
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 …

Statistical Model Checking-Based Analysis of Biological Networks

B Liu, BM Gyori, PS Thiagarajan - Automated Reasoning for …, 2019 - books.google.com
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 …