Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE, Scala E. Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS [Internet]. 2023 Jul. 1 [cited 2026 May 25];33(1):61-9. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/27179