Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning.
Piergiorgio BertoliAlessandro CimattiMarco RoveriPublished in: IJCAI (2001)
Keyphrases
- heuristic search
- conformant planning
- forward search
- symbolic model checking
- planning problems
- state space
- ai planning
- model checking
- partial observability
- search space
- search algorithm
- classical planning
- constraint satisfaction
- state space search
- heuristic function
- formal verification
- belief space
- beam search
- optimal planning
- computationally hard
- heuristic search algorithms
- search problems
- symbolic representation
- binary decision diagrams
- initial state
- path finding
- planning domains
- domain independent