Reachability Analysis of a Class of Hybrid Gene Regulatory Networks.
Honglu SunMaxime FolschetteMorgan MagninPublished in: RP (2023)
Keyphrases
- gene regulatory networks
- reachability analysis
- gene regulatory
- reverse engineering
- biological data
- gene expression data
- network model
- boolean networks
- regulatory networks
- model checking
- timed automata
- real time
- markov decision processes
- dynamic bayesian networks
- microarray
- probabilistic model
- dynamic programming
- data analysis