Infinite Plans for LTL Goals Using a Classical Planner is a work by F. Patrizi, N. Lipovetzky, G. De Giacomo, H. Geffner.

 ltpddl2pddl compiler, planner, and instances

Legal agreement

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or  (at your option) any later version.