Phase Transitions of Plan Modification in Conformant Planning
Junping ZhouMinghao YinPublished in: CoRR (2010)
Keyphrases
- phase transition
- conformant planning
- finite domain
- satisfiability problem
- symbolic model checking
- constraint satisfaction
- initial state
- computationally hard
- forward search
- ai planning
- constraint satisfaction problems
- belief space
- random constraint satisfaction problems
- heuristic search
- randomly generated
- model checking
- planning problems
- np complete
- random instances
- classical planning
- planning domains
- binary decision diagrams
- formal verification
- plan execution
- search algorithm
- partial observability
- constraint programming
- lower bound
- situation calculus
- conjunctive normal form
- domain independent
- state space
- search space