Model checking optimal finite-horizon control for probabilistic gene regulatory networks.
Ou WeiZonghao GuoYun NiuWenyuan LiaoPublished in: BMC Syst. Biol. (2017)
Keyphrases
- model checking
- finite horizon
- gene regulatory networks
- finite state
- average cost
- temporal logic
- infinite horizon
- optimal policy
- optimal control
- markov decision processes
- reverse engineering
- biological data
- network model
- multistage
- gene expression data
- control system
- markov decision process
- dynamic programming
- generative model
- bayesian networks
- dynamic bayesian networks
- probabilistic model
- probability distribution
- finite number
- control strategy
- decision problems
- multi agent
- reinforcement learning