使用模型检测解决概率布尔网络优化控制 (Optimal Control of Probabilistic Boolean Networks Using Model Checking).
Zonghao GuoOu WeiPublished in: 计算机科学 (2017)
Keyphrases
- model checking
- optimal control
- boolean networks
- temporal logic
- dynamic programming
- model checker
- formal verification
- control strategy
- formal specification
- infinite horizon
- automated verification
- symbolic model checking
- logic programs
- verification method
- finite state
- biological systems
- computation tree logic
- reinforcement learning
- formal methods
- conditional probabilities
- gene regulatory networks
- bounded model checking
- neural network
- markov decision processes
- alternating time temporal logic