FOND Planning for Pure−Past Linear Temporal Logic Goals

Luigi Bonassi‚ Giuseppe De Giacomo‚ Marco Favorito‚ Francesco Fuggitti‚ Alfonso Emilio Gerevini and Enrico Scala