Formal Analysis of Uncertain Continuous Markov Chains in Systems Biology.
Krishnendu GhoshCaroline GoodmanPublished in: BIOSTEC (1) (2024)
Keyphrases
- formal analysis
- markov chain
- systems biology
- high throughput
- biological systems
- biological data
- biological networks
- state space
- random walk
- formal methods
- agent model
- gene regulatory networks
- protein protein interactions
- molecular biology
- computational biology
- microarray
- artificial intelligence
- biologically inspired
- data integration
- expert systems