Overview

• The Planning problem

  • Our focus
  • Modeling, Proving correctness

• Refinement Planning: Formal Framework

• Conjunctive refinement planners

• Disjunctive refinement planners

  • Refinement of disjunctive plans
  • Solution extraction from disjunctive plans
    • Direct, Compiled (SAT, CSP, ILP,BDD)

• Heuristics/Optimizations

• Customizing Planners

  • User-assisted Customization
  • Automated customization

• Support for non-classical worlds

Previous slide

Next slide

Back to first slide

View graphic version