FRANCESCO FUGGITTI PhD Student PhD program:: XXXV email: fuggitti@diag.uniroma1.it phone: +39 0677274120 building: Department of Computer, Control, and Management Engineering, via Ariosto 25, Rome room: B221 supervisor: Prof. Giuseppe De Giacomo I got a BSc in Industrial Engineering in 2016 and an MSc in Engineering in Computer Science in 2018.Currently, I'm a PhD student in Engineering in Computer Science at Sapienza University in Rome and at York University in Toronto.My main research areas are Artificial Intelligence and Formal Methods. In particular, I work on Temporal Logics, Reasoning about Actions, Planning and Learning in autonomous systems. Research products 11573/1685195 - 2023 - Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (04b Atto di convegno in volume) Giuseppe DE GIACOMO, MARCO FAVORITO, FRANCESCO FUGGITTI11573/1681517 - 2023 - A tool for declarative Trace Alignment via automated planning (01a Articolo in rivista) Giuseppe DE GIACOMO, FRANCESCO FUGGITTI, FABRIZIO MARIA MAGGI, ANDREA MARRELLA, FABIO PATRIZI11573/1691628 - 2023 - FOND Planning for Pure-Past Linear Temporal Logic Goals (04d Abstract in atti di convegno) Giuseppe DE GIACOMO, MARCO FAVORITO, FRANCESCO FUGGITTI, ALFONSO EMILIO GEREVINI, Enrico SCALA11573/1685197 - 2023 - Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models (13b Working paper) RAMON FRAGA PEREIRA, FRANCESCO FUGGITTI, Giuseppe DE GIACOMO11573/1685194 - 2023 - NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas (04b Atto di convegno in volume) FRANCESCO FUGGITTI11573/1650939 - 2022 - Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning (13b Working paper) Giuseppe DE GIACOMO, MARCO FAVORITO, FRANCESCO FUGGITTI11573/1685192 - 2022 - From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation (04b Atto di convegno in volume) FRANCESCO FUGGITTI11573/1685193 - 2021 - Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models (13b Working paper) RAMON FRAGA PEREIRA, FRANCESCO FUGGITTI, Giuseppe DE GIACOMO11573/1400243 - 2020 - Pure-Past Linear Temporal and Dynamic Logic on Finite Traces (04c Atto di convegno in rivista) Giuseppe DE GIACOMO, ANTONIO DI STASIO, FRANCESCO FUGGITTI