Current Software:

(all to be released under GPL/MPL license *HOPEFULLY SOON*)
  1. The ND-SHOP2 and MDP-SHOP2 planners Description: Generalizations of the SHOP2 planner for nondeterministic and MDP planning problems.

  2. The YoYo planner Description: A forward-chaining planning algorithm for nondeterministic planning problems that combines Hierarchical Task Networks and Symbolic Model Checking techniques.

  3. The SHOPLifter (a.k.a. HOTRiDE) planning & execution system Description: Generalization of the SHOP2 planner for re-planning and interleaving hierarchical planning with execution.

  4. A BDD-based Branch & Bound Planner for MDPs Description: A general planning procedure that first computes lower and upper bounds on the value of the input MDP planning problem, and then uses those bounds to eliminate suboptimal actions in any existing MDP planner --- the implementation here includes Value- Iteration, RTDP, and AMS algorithms.

  5. SUNNY Description: A probabilistic sampling algorithm for trust-inference in Web-based social networks.