Model Checking Genetic Regulatory Networks with Parameter Uncertainty.
Grégory BattCalin BeltaRon WeissPublished in: HSCC (2007)
Keyphrases
- model checking
- genetic regulatory networks
- temporal logic
- automated verification
- model checker
- formal verification
- formal specification
- epistemic logic
- reverse engineering
- steady state
- ordinary differential equations
- verification method
- symbolic model checking
- computation tree logic
- bounded model checking
- gene regulatory networks
- formal methods
- alternating time temporal logic
- image processing
- qualitative simulation
- possibility theory
- biological networks
- modal logic
- random variables
- probability distribution
- data mining