@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)",
}
@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",
}
@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",
}
@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",
}
@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{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",
}