Conformant planning via symbolic model checking and heuristic search.
Alessandro CimattiMarco RoveriPiergiorgio BertoliPublished in: Artif. Intell. (2004)
Keyphrases
- heuristic search
- conformant planning
- symbolic model checking
- forward search
- planning problems
- model checking
- partial observability
- ai planning
- search algorithm
- state space
- state space search
- constraint satisfaction
- search space
- formal verification
- heuristic function
- binary decision diagrams
- temporal logic
- model checker
- belief space
- symbolic representation
- path finding
- beam search
- classical planning
- search strategies
- admissible heuristics
- search problems
- initial state
- orders of magnitude
- data structure
- optimal solution
- planning domains
- markov decision processes
- dynamic environments
- np complete