LTL goals Classical Planner

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