On the Formal Analysis of HMM Using Theorem Proving.
Liya LiuVincent AravantinosOsman HasanSofiène TaharPublished in: ICFEM (2014)
Keyphrases
- formal analysis
- theorem proving
- hidden markov models
- decision procedures
- automated reasoning
- theorem prover
- automated deduction
- first order logic
- term rewriting
- inference rules
- proof procedure
- formal methods
- automated theorem proving
- agent model
- automatic programming
- consequence finding
- distributed search
- proof planning
- speech recognition
- logical inference
- combinatorial search
- parallel search
- ban logic
- predicate calculus
- geometry theorem proving
- proof search