Keyphrases
- recent advances
- conformant planning
- symbolic model checking
- computationally hard
- forward search
- initial state
- belief space
- finite domain
- planning problems
- model checking
- ai planning
- heuristic search
- field of pattern recognition
- state space search
- formal verification
- partial observability
- action sequences
- constraint programming
- domain independent
- dynamic environments