Fuggitti, Francesco

4 publications

AAAI 2024 Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction Tathagata Chakraborti, Jungkoo Kang, Francesco Fuggitti, Michael Katz, Shirin Sohrabi

IJCAI 2024 Planning for Temporally Extended Goals in Pure-past Linear Temporal Logic (Extended Abstract) Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala

AAAI 2023 NL2LTL - A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas Francesco Fuggitti, Tathagata Chakraborti

IJCAI 2020 Pure-past Linear Temporal and Dynamic Logic on Finite Traces Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin