planning logo
CSE logo University of Washington Computer Science & Engineering
 Research in Automated Planning
  CSE Home   About Us    Search    Contact Info 


  • COMDP Solver: A concurrent MDP solver to solve planning under uncertainty problems that require executing more than one action at a time step.
  • BlackBox: An extremely fast planning system that combines SAT technology with Graphplan (won a track at both the 2006 and 2004 International Planning Competitions)
  • TGP: A fast temporal planner, motivated at NASA spacecraft domains.
  • SGP: A planner that handles uncertainty, sensory actions and combines conformant and contingent planning.
  • LPSAT: A metric resource planner, which solves planning problems by compiling them to a combination of linear inequalities and SAT formulas.
  • UCPOP: (distributed to 100+ sites) Handles universal quantification and conditional effects.

  • NASA Mars Rover Domain
  • A slightly simplified model of the rover instrumentation and mutual exclusion rules based on the actual MER "flight rules."

Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to webmaster]