Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. - Giuseppe De Giacomo; Antonio Di Stasio 001; Francesco Fuggitti; Sasha Rubin (IJCAI, 2020)

FOND Planning for LTLf and PLTLf Goals. - Francesco Fuggitti (CoRR, 2020)

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models. - Ramon Fraga Pereira; Francesco Fuggitti; Giuseppe De Giacomo (CoRR, 2021)

From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation. - Tathagata Chakraborti; Yara Rizk; Vatche Isahagian; Burak Aksar; Francesco Fuggitti (BPM (Blockchain and RPA Forum), 2022)

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. - Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti (CoRR, 2022)

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

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 (ICAPS, 2023)

FOND Planning for Pure-Past Linear Temporal Logic Goals. - Luigi Bonassi; Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti; Alfonso Emilio Gerevini; Enrico Scala (ECAI, 2023)

Efficient techniques for automated planning for goals in linear temporal logics on finite traces. - Francesco Fuggitti (2023)

A tool for declarative Trace Alignment via automated planning. - Giuseppe De Giacomo; Francesco Fuggitti; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (Softw. Impacts, 2023)

Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction. - Tathagata Chakraborti; Jungkoo Kang; Francesco Fuggitti; Michael Katz 001; Shirin Sohrabi (AAAI, 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 (IJCAI, 2024)

Temporally extended goal recognition in fully observable non-deterministic domain models. - Ramon Fraga Pereira; Francesco Fuggitti; Felipe Meneguzzi; Giuseppe De Giacomo (Appl. Intell., 2024)