Keyphrases
- dynamic environments
- planning problems
- theorem proving
- planning process
- planning systems
- formal proofs
- stochastic domains
- mixed initiative
- goal oriented
- blind source separation
- blind separation
- blocks world
- plan generation
- action selection
- data sets
- motion planning
- theorem prover
- decision support
- hidden markov models
- optimal solution
- machine learning