Compiling Uncertainty Away in Non-Deterministic Conformant Planning.
Alexandre AlboreHéctor PalaciosHector GeffnerPublished in: ECAI (2010)
Keyphrases
- conformant planning
- symbolic model checking
- partial observability
- computationally hard
- initial state
- belief space
- forward search
- finite domain
- planning problems
- finite state automaton
- ai planning
- model checking
- state space search
- heuristic search
- dynamic environments
- formal verification
- belief state
- partially observable markov decision processes
- symbolic representation
- constraint propagation
- constraint programming
- domain independent
- constraint satisfaction problems
- state space