Giuseppe De Giacomo : Publications
Click here to download all publications in a single bibtex file
@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",
}