Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic

Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala. Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. In Sven Koenig, Roni Stern, Mauro Vallati, editors, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic. pages 61-69, AAAI Press, 2023. [doi]

Abstract

Abstract is missing.