Parameter discovery in stochastic biological models using simulated annealing and statistical model checking.
Faraz HussainSumit Kumar JhaSusmit JhaChristopher James LangmeadPublished in: Int. J. Bioinform. Res. Appl. (2014)
Keyphrases
- model checking
- simulated annealing
- temporal logic
- finite state machines
- reactive systems
- formal verification
- finite state
- temporal properties
- model checker
- partial order reduction
- computation tree logic
- automated verification
- bounded model checking
- process algebra
- epistemic logic
- formal specification
- pspace complete
- modal logic
- genetic algorithm
- verification method
- timed automata
- transition systems
- tabu search
- knowledge based systems
- search algorithm