Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking.
Michele CeccarelliLuigi CeruloGiuseppe De RuvoVittoria NardoneAntonella SantonePublished in: FormaliSE@ICSE (2015)
Keyphrases
- model checking
- gene regulatory networks
- genetic regulatory networks
- temporal logic
- reverse engineering
- network model
- formal verification
- gene expression data
- model checker
- automated verification
- formal specification
- symbolic model checking
- biological data
- bounded model checking
- verification method
- computation tree logic
- formal methods
- bayesian inference
- bayesian networks
- dynamic bayesian networks
- probabilistic model
- data analysis
- structure learning
- high throughput
- epistemic logic
- data points
- high dimensional
- databases
- software engineering
- state space
- knowledge discovery
- alternating time temporal logic