OPTIC
OPTIC, Is a planner capable of reasoning with the full range of PDDL 3 preferences, including temporal preferences. It is also a temporally expressive planner capable of reasoning with continuous numeric change. Developed in conjunction with Andrew Coles and J. Benton
POPF
POPF, runner up in the temporal track of the 2011 International Planning Competition, is an expressive temporal planner capable of flexibile temporal reasoning including required concurrency, state dependent action durations and continuous numeric effects. Developed in conjunction with Andrew Coles, Maria Fox and Derek Long
COLIN
COLIN, the first PDDL planner to reason with (linear) continuous numeric change, developed in conjunction with Andrew Coles, Maria Fox and Derek Long. This page also includes Domains and resources for planning with continuous numeric effects.
LPRPG-P
LPRPG-P, a numeric (non-temporal) planner, based on LPRPG, which is state of the art in terms of optimisation with respect to PDDL 3 preferences. using an LP to improve heuristic estimates in domains where numeric interaction is critical in solving problems, developed in conjunction with Andrew Coles.
LPRPG
LPRPG, a numeric (non-temporal) planner using an LP to improve heuristic estimates in domains where numeric interaction is critical in solving problems, developed in conjunction with Andrew Coles, Maria Fox and Derek Long. See the paper or watch a video lecture to find out more about LPRPG.
CRIKEY 3
CRIKEY, a temporal planner capable of reasoning with the full PDDL 2.1 semantics, developed in conjunction with Andrew Coles, Maria Fox and Derek Long.
JavaFF
JavaFF, written in conjunction with Andrew Coles, and based on code by Keith Halsey, is teaching tool that allows students to get involved in writing their own planner. A task which, without this tool, was considered valuable but too complex to be feasible.
TSGP
TSGP, a decomposition-based planning system developed in conjunction with Andrew Coles, Maria Fox and Derek Long.
Marvin
Marvin, written in conjunction with Andrew Coles, is a planner that generates marco-actions through an online learning process.
PacPlan
Pac_Plan, a collaborative project with Sergio Jiminez and Andrew Coles, is a probabilistic planner that converts probabilities to costs and planning with the aim of minimising the risk of plan failure.