Computing infinite plans for LTL goals using a classical planner (2011)

by F Patrizi, N Lipovetzky, G D Giacomo, H Geffner
Venue:In IJCAI