AI Planning

Width Based Planning

Width Based Planning searches for solutions through a general measure of state novelty. Performs well over black-box simulators and PDDL problems.


Planimation is a framework to visualise sequential solutions of planning problems specified in PDDL

An introduction to the planning domain definition language

Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning …

Classical Planners

Awarded top performance classical planners in serveral International Planning Competitions 2008 - 2019


Invariants, Traps, Un-reachability Certificates, and Dead-end Detection

AI 4 Education

Software to support AI courses in Mel & RMIT Unis (Melbourne, AUS)

Arcade Learning Environment

Classical Planners playing Atari 2600 games as well as Deep Reinforcement Learning

Linear Temporal Logic, Planning and Synthesis

classical planners computing infinite loopy plans, and FOND planners synthesizing controllers expressed as policies.


Lightweight Automated Planning ToolKiT (LAPKT) to build, use or extend basic to advanced Automated Planners