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

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