Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks.
Lisong WangTao FengJunhua SongZonghao GuoJun HuPublished in: IEEE Access (2018)
Keyphrases
- model checking
- optimal control
- infinite horizon
- gene regulatory networks
- finite horizon
- temporal logic
- dynamic programming
- average cost
- finite state
- control strategy
- long run
- partially observable
- optimal policy
- probabilistic model
- gene expression data
- network model
- markov decision processes
- bayesian networks
- reverse engineering
- markov decision process
- dec pomdps
- state space
- multi agent
- reinforcement learning
- machine learning
- planning domains
- data analysis
- feature selection
- learning algorithm
- data mining