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, Enrico Scala

Browse the full IJCAI paper archive.