Reachability analysis using multiway decision graphs in the HOL theorem prover.
Sa'ed AbedOtmane Aït MohamedGhiath Al SammanePublished in: SAC (2008)
Keyphrases
- theorem prover
- reachability analysis
- timed automata
- theorem proving
- first order logic
- inference rules
- term rewriting
- automated theorem proving
- higher order logic
- natural deduction
- computer algebra
- model checking
- markov decision processes
- decision making
- formal proof
- boolean algebra
- proof search
- decision process
- series parallel
- incremental algorithms
- decision processes
- decision problems
- machine learning
- expected utility
- proof planning
- mathematical knowledge