Giuseppe De Giacomo : Publications

Click here to download all publications in a single bibtex file

@article{Calvanese2026AgenticBPMManifesto,
  title = "Agentic Business Process Management: A Research Manifesto",
  author = "Diego Calvanese and Angelo Casciani and Giuseppe De Giacomo and Marlon Dumas and Fabiana Fournier and Timotheus Kampik and Emanuele La Malfa and Lior Limonad and Andrea Marrella and Andreas Metzger and Marco Montali and Daniel Amyot and Peter Fettke and Artem Polyvyanyy and Stefanie Rinderle-Ma and Sebastian Sardi{\~n}a and Niek Tax and Barbara Weber",
  year = "2026",
  journal = "Information Systems",
  pages = "102738",
  volume = "140",
}

@article{Ielo2026ILPBasedLearning,
  title = "Towards ILP-based LTLf Passive Learning",
  author = "Antonio Ielo and Mark Law and Valeria Fionda and Francesco Ricca and Giuseppe De Giacomo and Alessandra Russo",
  year = "2026",
  journal = "Journal of Logic and Computation",
  number = "2",
  pages = "exaf069",
  volume = "36",
}

@inproceedings{DeGiacomo2026StrategicReasoningGolog,
  title = "Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Matteo Mancanelli",
  year = "2026",
  booktitle = "Proceedings of AAAI 2026",
}

@inproceedings{Abate2026BestEffort,
  title = "Best-Effort Policies for Robust Markov Decision Processes",
  author = "Alessandro Abate and Thom Badings and Giuseppe De Giacomo and Francesco Fabiano",
  year = "2026",
  booktitle = "Proceedings of AAAI 2026",
}

@inproceedings{Weinhuber2026GoodForMDP,
  title = "Good-for-MDP State Reduction for Stochastic LTL Planning",
  author = "Christoph Weinhuber and Giuseppe De Giacomo and Yong Li and Sven Schewe and Qiyi Tang",
  year = "2026",
  booktitle = "Proceedings of AAAI 2026",
}

@inproceedings{DeGiacomo2026IncrementalLTLf,
  title = "Incremental LTLf Synthesis",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Gianmarco Parretti and Fabio Patrizi and Moshe Y. Vardi",
  year = "2026",
  booktitle = "Proceedings of ICAPS 2026",
}

@inproceedings{DeGiacomo2026GologSynthesis,
  title = "Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Matteo Mancanelli and Gianmarco Parretti",
  year = "2026",
  booktitle = "Proceedings of KR 2026",
}

@inproceedings{DeGiacomo2026GoalManagement,
  title = "Synthesis Foundations for Online LTLf Goal Management",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Gianmarco Parretti and Fabio Patrizi",
  year = "2026",
  booktitle = "Proceedings of KR 2026",
}

@inproceedings{Aminof2026StrategySpaces,
  title = "Specifying Agent Strategy Spaces via LTL Synthesis",
  author = "Benjamin Aminof and Giuseppe De Giacomo and Aniello Murano and Sasha Rubin",
  year = "2026",
  booktitle = "Proceedings of KR 2026",
}

@inproceedings{DuretLutz2026FastObligation,
  title = "Fast Obligation Translation and Synthesis",
  author = "Alexandre Duret-Lutz and Giuseppe De Giacomo and Marcin Jurdzi{\'n}ski and Nir Piterman and Moshe Y. Vardi and Shufang Zhu",
  year = "2026",
  booktitle = "Proceedings of CAV 2026",
}

@inproceedings{Abate2026SemanticallyLabelled,
  title = "Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions",
  author = "Alessandro Abate and Giuseppe De Giacomo and Mathias Jackermeier and Jan Kretinsky and Maximilian Prokop and Christoph Weinhuber",
  year = "2026",
  booktitle = "Proceedings of IJCAI 2026",
}

@misc{DeGiacomo2026StrategicReasoningABPM,
  title = "A Formal Framework for Strategic Reasoning in Agentic Business Process Management",
  author = "Giuseppe De Giacomo and Timotheus Kampik and Lukas Kirchdorfer and Marco Montali and Christoph Weinhuber",
  year = "2026",
  howpublished = "Overlay 2026",
  note = "ArXiv version entitled ``Formal Foundations of Agentic Business Process Management''",
}

@misc{Weinhuber2026MultiProperty,
  title = "Multi-Property Synthesis",
  author = "Christoph Weinhuber and Yannik Schnitzer and Alessandro Abate and Giuseppe De Giacomo and David Parker and Moshe Vardi",
  year = "2026",
  howpublished = "LAMA/SR@FLoC 2026",
}

@misc{DeGiacomo2026SymbolicSynthesis,
  title = "Symbolic Synthesis for LTLf+ Obligations",
  author = "Giuseppe De Giacomo and Christian Hagemeier and Daniel Hausmann and Nir Piterman",
  year = "2026",
  howpublished = "LAMA/SR@FLoC 2026",
}

@article{degiacomo2025service,
  title = "{Service Composition for LTLf Task Specifications}",
  author = "Giuseppe De Giacomo and Marco Favorito and Luciana Silo",
  year = "2025",
  journal = "Information Systems",
  pages = "102571",
  volume = "133",
}

@article{aminof2025synthesis,
  title = "{LTLf synthesis under environment specifications for reachability and safety properties}",
  author = "Benjamin Aminof and Giuseppe De Giacomo and Antonio Di Stasio and Hugo Francon and Sasha Rubin and Shufang Zhu",
  year = "2025",
  journal = "Information and Computation",
  pages = "105255",
  volume = "303",
}

@inproceedings{hagemeier2025unreliable,
  title = "{LTLf Synthesis Under Unreliable Input}",
  author = "Christian Hagemeier and Giuseppe De Giacomo and Moshe Y. Vardi",
  year = "2025",
  booktitle = "Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI)",
}

@inproceedings{degiacomo2025situation,
  title = "{Situation Calculus Temporally Lifted Abstractions for Generalized Planning}",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Matteo Mancanelli",
  year = "2025",
  booktitle = "Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI)",
}

@inproceedings{degiacomo2025managing,
  title = "{Managing an Agent's Changing Intentions Using LTLf Synthesis -- Extended Abstract}",
  author = "Giuseppe De Giacomo and Yves Lesp{\'e}rance and Gianmarco Parretti and Fabio Patrizi and Renzo Schram",
  year = "2025",
  booktitle = "Proceedings of the 1st AAAI Symposium on Artificial Agents and Multiagent Systems (AAAMS)",
}

@inproceedings{degiacomo2025adaptive,
  title = "{LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains}",
  author = "Giuseppe De Giacomo and Gianmarco Parretti and Shufang Zhu",
  year = "2025",
  booktitle = "Proceedings of the 35th International Conference on Automated Planning and Scheduling (ICAPS)",
}

@inproceedings{degiacomo2025responsibility,
  title = "{Responsibility Anticipation and Attribution in LTLf}",
  author = "Giuseppe De Giacomo and Emiliano Lorini and Timothy Parker and Gianmarco Parretti",
  year = "2025",
  booktitle = "Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI)",
}

@inproceedings{degiacomo2025solving,
  title = "{Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives}",
  author = "Giuseppe De Giacomo and Yong Li and Sven Schewe and Christoph Weinhuber and Pian Yu",
  year = "2025",
  booktitle = "Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI)",
}

@inproceedings{aminof2025ltlfplus,
  title = "{LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces}",
  author = "Benjamin Aminof and Giuseppe De Giacomo and Sasha Rubin and Moshe Y. Vardi",
  year = "2025",
  booktitle = "Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI)",
}

@article{Brafman2024Regular,
  title = "Regular Decision Processes",
  author = "Ronen I. Brafman and Giuseppe {De Giacomo}",
  year = "2024",
  journal = "Artif. Intell.",
  pages = "104113",
  volume = "331",
}

@article{Pereira2024Temporally,
  title = "Temporally Extended Goal Recognition in Fully Observable Non-deterministic Domain Models",
  author = "Ramon Fraga Pereira and Francesco Fuggitti and Felipe Meneguzzi and Giuseppe {De Giacomo}",
  year = "2024",
  journal = "Appl. Intell.",
  number = "11-12",
  pages = "470--489",
  volume = "54",
}

@article{DeGiacomo2024Mimicking,
  title = "Mimicking Behaviors in Separated Domains (Abstract Reprint)",
  author = "Giuseppe {De Giacomo} and Dror Fried and Fabio Patrizi and Shufang Zhu",
  year = "2024",
  journal = "AAAI 2024 (Journal Track)",
}

@inproceedings{greenman2024misconceptions,
  title = "Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic",
  author = "Ben Greenman and Siddhartha Prasad and Antonio {Di Stasio} and Shufang Zhu and Giuseppe {De Giacomo} and Shriram Krishnamurthi and Marco Montali and Tim Nelson and Milda Zizyte",
  year = "2024",
  booktitle = "FM 2024",
}

@inproceedings{Lesperance2024AbstractionAAAI,
  title = "Abstraction of Situation Calculus Concurrent Game Structures",
  author = "Yves Lesp{\'e}rance and Giuseppe {De Giacomo} and Maryam Rostamigiv and Shakil M. Khan",
  year = "2024",
  booktitle = "AAAI 2024",
}

@inproceedings{Varricchione2024Pure,
  title = "Pure-Past Action Masking",
  author = "Giovanni Varricchione and Natasha Alechina and Mehdi Dastani and Giuseppe {De Giacomo} and Brian Logan and Giuseppe Perelli",
  year = "2024",
  booktitle = "AAAI 2024",
}

@inproceedings{Correa2024Planning,
  title = "Planning with Object Creation",
  author = "Augusto B. Correa and Giuseppe {De Giacomo} and Malte Helmert and Sasha Rubin",
  year = "2024",
  booktitle = "ICAPS 2024",
}

@inproceedings{DeGiacomo2024Composition,
  title = "Composition of Stochastic Services for LTLf Goal Specifications",
  author = "Giuseppe {De Giacomo} and Marco Favorito and Luciana Silo",
  year = "2024",
  booktitle = "FoIKS 2024",
}

@inproceedings{Aminof2024Effective,
  title = "Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments",
  author = "Benjamin Aminof and Giuseppe {De Giacomo} and Gianmarco Parretti and Sasha Rubin",
  year = "2024",
  booktitle = "IJCAI 2024",
}

@inproceedings{Yu2024Trembling,
  title = "The Trembling-Hand Problem for LTLf Planning",
  author = "Pian Yu and Shufang Zhu and Giuseppe {De Giacomo} and Marta Kwiatkowska and Moshe Vardi",
  year = "2024",
  booktitle = "IJCAI 2024",
}

@inproceedings{Correa2024Lifted,
  title = "Lifted Planning: Recent Advances in Planning Using First-Order Representation",
  author = "Augusto B. Correa and Giuseppe {De Giacomo}",
  year = "2024",
  booktitle = "IJCAI 2024 (Survey Track)",
}

@inproceedings{Bonassi2024Planning,
  title = "Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)",
  author = "Luigi Bonassi and Giuseppe {De Giacomo} and Marco Favorito and Francesco Fuggitti and Alfonso Emilio Gerevini and Enrico Scala",
  year = "2024",
  booktitle = "IJCAI 2024 (Sister Track)",
}

@inproceedings{Bonassi2024Shielded,
  title = "Shielded FOND: Planning With Safety Constraints in Pure-Past Linear Temporal Logic",
  author = "Luigi Bonassi and Giuseppe {De Giacomo} and Alfonso Emilio Gerevini and Enrico Scala",
  year = "2024",
  booktitle = "ECAI 2024",
}

@inproceedings{Licks2024Monte,
  title = "Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes",
  author = "Gabriel {Paludo Licks} and Fabio Patrizi and Giuseppe {De Giacomo}",
  year = "2024",
  booktitle = "ECAI 2024",
}

@inproceedings{Aminof2024Proper,
  title = "Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis",
  author = "Benjamin Aminof and Giuseppe {De Giacomo} and Sasha Rubin and Florian Zuleger",
  year = "2024",
  booktitle = "KR 2024",
}

@inproceedings{Lesperance2024Abstraction,
  title = "Abstraction of Situation Calculus Concurrent Game Structures - Extended Abstract",
  author = "Yves Lesp{\'e}rance and Giuseppe {De Giacomo} and Maryam Rostamigiv and Shakil M. Khan",
  year = "2024",
  booktitle = "KR 2024 (Previously Published Research Track)",
}

@article{DeGiacomo2023Mimicking,
  title = "Mimicking Behaviors in Separated Domains",
  author = "Giuseppe {De Giacomo} and Dror Fried and Fabio Patrizi and Shufang Zhu",
  year = "2023",
  journal = "J. Artif. Intell. Res. (JAIR)",
  pages = "1087--1112",
  volume = "77",
}

@article{Dumas2023AI,
  title = "AI-augmented Business Process Management Systems: A Research Manifesto",
  author = "Marlon Dumas and Fabiana Fournier and Lior Limonad and Andrea Marrella and Marco Montali and Jana-Rebecca Rehse and Rafael Accorsi and Diego Calvanese and Giuseppe {De Giacomo} and Dirk Fahland and Avigdor Gal and Marcello La Rosa and Hagen Voelzer and Ingo Weber",
  year = "2023",
  journal = "ACM Transactions on Management Information Systems",
  number = "1",
  pages = "11",
  volume = "14",
}

@article{DeGiacomo2023Tool,
  title = "A Tool for Declarative Trace Alignment via Automated Planning",
  author = "Giuseppe {De Giacomo} and Francesco Fuggitti and Fabrizio Maria Maggi and Andrea Marrella Favorito and Fabio Patrizi",
  year = "2023",
  journal = "Software Impacts",
  volume = "16",
}

@article{DeGiacomo2023Digital,
  title = "Digital Twin Composition in Smart Manufacturing via Markov Decision Processes",
  author = "Giuseppe {De Giacomo} and Marco Favorito and Francesco Leotta and Massimo Mecella and Luciana Silo",
  year = "2023",
  journal = "Computers in Industry",
  volume = "149",
}

@article{DeGiacomo2023Finite,
  title = "Finite-trace and Generalized-Reactivity Specifications in Temporal Synthesis",
  author = "Giuseppe {De Giacomo} and Antonio {Di Stasio} and Lucas M. Tabajara and Moshe Y. Vardi and Shufang Zhu",
  year = "2023",
  journal = "Formal Methods in System Design",
}

@inproceedings{Banihashemi2023Abstraction,
  title = "Abstraction of Nondeterministic Situation Calculus Action Theories",
  author = "Bita Banihashemi and Giuseppe {De Giacomo} and Yves Lesp{\'e}rance",
  year = "2023",
  booktitle = "IJCAI 2023",
}

@inproceedings{Aminof2023Stochastic,
  title = "Stochastic Best-Effort Strategies for Borel Goals",
  author = "Benjamin Aminof and Giuseppe {De Giacomo} and Sasha Rubin and Florian Zuleger",
  year = "2023",
  booktitle = "LICS 2023",
}

@inproceedings{Bonassi2023Planning,
  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",
  booktitle = "ICAPS 2023",
  note = "Best Student Paper Award",
}

@inproceedings{Ronca2023Automata,
  title = "Automata Cascades: Expressivity and Sample Complexity",
  author = "Alessandro Ronca and Nadezda Alexandrovna Knorozova and Giuseppe {De Giacomo}",
  year = "2023",
  booktitle = "AAAI 2023",
}

@inproceedings{Cipollone2023Exploiting,
  title = "Exploiting Multiple Abstractions in Episodic RL via Reward Shaping",
  author = "Roberto Cipollone and Giuseppe {De Giacomo} and Marco Favorito and Luca Iocchi and Fabio Patrizi",
  year = "2023",
  booktitle = "AAAI 2023",
}

@inproceedings{Aminof2023Reactive,
  title = "Reactive Synthesis of Dominant Strategies",
  author = "Benjamin Aminof and Giuseppe {De Giacomo} and Sasha Rubin",
  year = "2023",
  booktitle = "AAAI 2023",
}

@inproceedings{Umili2023Grounding,
  title = "Grounding LTLf Specifications in Image Sequences",
  author = "Elena Umili and Roberto Capobianco and Giuseppe {De Giacomo}",
  year = "2023",
  booktitle = "KR 2023",
}

@inproceedings{DeGiacomo2023AIDA,
  title = "AIDA: A Tool for Resiliency in Smart Manufacturing",
  author = "Giuseppe {De Giacomo} and Marco Favorito and Francesco Leotta and Massimo Mecella and Flavia Monti and Luciana Silo",
  year = "2023",
  booktitle = "CAiSE Forum 2023",
}

@inproceedings{Aminof2023LTLfSynthesis,
  title = "LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes",
  author = "Benjamin Aminof and Giuseppe {De Giacomo} and Antonio {Di Stasio} and Hugo Francon and Sasha Rubin and Shufang Zhu",
  year = "2023",
  booktitle = "EUMAS 2023",
}

@inproceedings{DeGiacomo2023Symbolic,
  title = "Symbolic sc LTLf Best-Effort Synthesis",
  author = "Giuseppe {De Giacomo} and Gianmarco Parretti and Shufang Zhu",
  year = "2023",
  booktitle = "EUMAS 2023",
}

@inproceedings{DeGiacomo2023Behavioral,
  title = "Behavioral QLTL",
  author = "Giuseppe {De Giacomo} and Giuseppe Perelli",
  year = "2023",
  booktitle = "EUMAS 2023",
}

@inproceedings{DeGiacomo2023LTLfBestEffort,
  title = "LTLf Best-Effort Synthesis in Nondeterministic Planning Domains",
  author = "Giuseppe {De Giacomo} and Gianmarco Parretti and Shufang Zhu",
  year = "2023",
  booktitle = "ECAI 2023",
}

@inproceedings{Bonassi2023FOND,
  title = "FOND Planning for Pure-Past Linear Temporal Logic Goals",
  author = "Luigi Bonassi and Giuseppe {De Giacomo} and Marco Favorito and Francesco Fuggitti and Alfonso Emilio Gerevini and Enrico Scala",
  year = "2023",
  booktitle = "ECAI 2023",
}

@inproceedings{Ielo2023Towards,
  title = "Towards ILP-Based LTLf Passive Learning",
  author = "Antonio Ielo and Mark Law and Valeria Fionda and Francesco Ricca and Giuseppe {De Giacomo} and Alessandra Russo",
  year = "2023",
  booktitle = "ILP 2023",
  note = "Best Paper Award",
}