scholarly journals Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 77299-77307 ◽  
Author(s):  
Lisong Wang ◽  
Tao Feng ◽  
Junhua Song ◽  
Zonghao Guo ◽  
Jun Hu
Keyword(s):  
Model Checking ◽  
Gene Regulatory Networks ◽  
Regulatory Networks ◽  
Infinite Horizon ◽  
Gene Regulatory ◽  
Infinite Horizon Control

scholarly journals Model Checking Gene Regulatory Networks

2015 ◽  
pp. 469-483 ◽  
Author(s):  
Mirco Giacobbe ◽  
Călin C. Guet ◽  
Ashutosh Gupta ◽  
Thomas A. Henzinger ◽  
Tiago Paixão ◽  
...  
Keyword(s):  
Model Checking ◽  
Gene Regulatory Networks ◽  
Regulatory Networks ◽  
Gene Regulatory

scholarly journals Model checking the evolution of gene regulatory networks

2016 ◽  
Vol 54 (8) ◽  
pp. 765-787 ◽  
Author(s):  
Mirco Giacobbe ◽  
Călin C. Guet ◽  
Ashutosh Gupta ◽  
Thomas A. Henzinger ◽  
Tiago Paixão ◽  
...  
Keyword(s):  
Model Checking ◽  
Gene Regulatory Networks ◽  
Regulatory Networks ◽  
Gene Regulatory
Sign in / Sign up

Export Citation Format

Share Document