Bonassi, Luigi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, and Enrico Scala. 2023. “Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic”. Proceedings of the International Conference on Automated Planning and Scheduling 33 (1):61-69. https://doi.org/10.1609/icaps.v33i1.27179.