Planning for Temporally Extended Goals in Pure−Past Linear Temporal Logic

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