ctpelok77/kstar repository overview

⁠K* planner -- a state of the art Top-k planner integrating the K* algorithm into Fast Downward.

⁠Usage

The planner creates a folder called found_plans in the work folder. An example run can therefore be

docker run --rm -v "$(pwd)":/work ctpelok77/kstar python3 /workspace/kstar/fast-downward.py --build release64 /work/examples/gripper/domain.pddl /work/examples/gripper/prob01.pddl --search "kstar(blind(),k=100)"

• blind() can be replaced by any heuristic provided by Fast Downward⁠. However, optimality is only guaranteed with an admissible and consistent heuristic.

⁠Citation

Michael Katz, Shirin Sohrabi, Octavian Udrea and Dominik Winterer
A Novel Iterative Approach to Top-k Planning [pdf]⁠ [bib]⁠
In ICAPS 2018