[1]
L. Bonassi, G. De Giacomo, M. Favorito, F. Fuggitti, A. E. Gerevini, and E. Scala, “Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic”, ICAPS, vol. 33, no. 1, pp. 61-69, Jul. 2023.