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]

@inproceedings{BonassiGFFGS23,
  title = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic},
  author = {Luigi Bonassi and Giuseppe De Giacomo and Marco Favorito and Francesco Fuggitti and Alfonso Emilio Gerevini and Enrico Scala},
  year = {2023},
  doi = {10.1609/icaps.v33i1.27179},
  url = {https://doi.org/10.1609/icaps.v33i1.27179},
  researchr = {https://researchr.org/publication/BonassiGFFGS23},
  cites = {0},
  citedby = {0},
  pages = {61-69},
  booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  editor = {Sven Koenig and Roni Stern and Mauro Vallati},
  publisher = {AAAI Press},
}