Daniel Höller hoeller@cs.uni-saarland.de
A generic method to guide HTN progression search with classical heuristics, D. Höller, P. Bercher, G. Behnke, S. Biundo, ICAPS, 2018. PDF
This is a translation of the rover domain deployed with JShop2. The problems are translations form STRIPS problems of the IPC 3.