Using probabilistic model checking in systems biology.
Marta Z. KwiatkowskaGethin NormanDavid ParkerPublished in: SIGMETRICS Perform. Evaluation Rev. (2008)
Keyphrases
- model checking
- systems biology
- high throughput
- temporal logic
- biological systems
- formal verification
- model checker
- biological data
- biological networks
- verification method
- computation tree logic
- molecular biology
- formal methods
- computational biology
- epistemic logic
- bayesian networks
- protein protein interactions
- gene regulatory networks
- probabilistic model
- life sciences
- database systems
- belief networks
- microarray
- complex systems
- cooperative
- reinforcement learning