Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
Piergiorgio BertoliAlessandro CimattiMarco RoveriPaolo TraversoPublished in: IJCAI (2001)
Keyphrases
- symbolic model checking
- partial observability
- planning in nondeterministic domains
- conformant planning
- planning problems
- partially observable
- reinforcement learning
- belief space
- deterministic domains
- belief state
- fully observable
- partial information
- markov decision process
- partially observable markov decision processes
- nondeterministic domains
- orders of magnitude
- planning domains
- machine learning
- state space
- mobile robot
- learning algorithm