Automated parameter estimation for biological models using Bayesian statistical model checking.
Faraz HussainChristopher J. LangmeadQi MiJoyeeta Dutta-MoscatoYoram VodovotzSumit Kumar JhaPublished in: BMC Bioinform. (2015)
Keyphrases
- parameter estimation
- model checking
- statistical models
- maximum likelihood
- random fields
- model selection
- posterior distribution
- markov random field
- temporal logic
- em algorithm
- model fitting
- least squares
- finite state machines
- reactive systems
- formal specification
- model checker
- parameter estimates
- estimation problems
- bayesian model selection
- expectation maximization
- parameter estimation algorithm
- temporal properties
- symbolic model checking
- automated verification
- formal verification
- markov fields
- approximate inference
- timed automata
- bounded model checking
- concurrent systems
- petri net
- computation tree logic
- computer vision
- transition systems
- verification method
- experimental data
- probabilistic model