A Model Checking Approach to the Parameter Estimation of Biochemical Pathways.
Robin DonaldsonDavid R. GilbertPublished in: CMSB (2008)
Keyphrases
- parameter estimation
- model checking
- signal transduction pathways
- temporal logic
- maximum likelihood
- least squares
- em algorithm
- automated verification
- epistemic logic
- formal verification
- experimental data
- markov random field
- expectation maximization
- temporal properties
- model selection
- formal specification
- model checker
- reachability analysis
- symbolic model checking
- formal methods
- verification method
- parameter estimation algorithm
- approximate inference
- bounded model checking
- timed automata
- computation tree logic
- deterministic finite automaton
- reactive systems
- transition systems
- asynchronous circuits
- concurrent systems
- modal logic
- data mining