Jaguar 2004-present The goal of the Jaguar project is to develop a planning, execution, and learning framework to adapt planning domain models to the execution environment by learning from execution failures. We consider producing mission plans using a novel planning language called ASynchronous Evolving Tasks (ASET) that can represent non-determinism both with respect to action duration and effects.

CLab 2004. The goal of the CLab project is to provide an open source BDD-based configuration tool for research and educational purposes. Clab is implemented in C/C++/STL and uses the BuDDy BDD Package. It includes a language CP for stating configuration problems as Constraint Satisfaction Problems (CSPs) and specialized BDD operations needed to perform interactive configuration efficiently.

BIFROST 1999-2003. BIFROST is an experimental planning system for research on heuristic symbolic planning, adversarial non-deterministic planning, and fault tolerant planning. BIFROST has a large number of benchmark problems including the SIDMAR steel plant, DS1 space craft, Channel routing, Power supply restoration, and the ICAPS planning competition problems. The input language to BIFROST is NADL+, an extension to NADL for fault tolerant planning and heuristic search.

UMOP1999. UMOP is a multi-agent planning system for synchronized agents in non-deterministic domains. It includes a partitioning technique for the NADL language and planning algorithms for generating strong, strong-cyclic, and weak plans.