Fragment-based Conformant Planning.
James KurienP. Pandurang NayakDavid E. SmithPublished in: AIPS (2002)
Keyphrases
- conformant planning
- symbolic model checking
- computationally hard
- belief space
- forward search
- initial state
- finite domain
- model checking
- planning problems
- ai planning
- partial observability
- constraint propagation
- formal verification
- model checker
- situation calculus
- search space
- temporal logic
- constraint programming
- heuristic search