Giuseppe De Giacomo : Publications
Journal papers
-
[1]
Regular Decision Processes
Ronen I. Brafman and Giuseppe De Giacomo
In Artif. Intell.. Vol. 331. Pages 104113. 2024.
Details about Regular Decision Processes | BibTeX data for Regular Decision Processes
-
[2]
Temporally Extended Goal Recognition in Fully Observable Non−deterministic Domain Models
Ramon Fraga Pereira‚ Francesco Fuggitti‚ Felipe Meneguzzi and Giuseppe De Giacomo
In Appl. Intell.. Vol. 54. No. 11−12. Pages 470–489. 2024.
Details about Temporally Extended Goal Recognition in Fully Observable Non−deterministic Domain Models | BibTeX data for Temporally Extended Goal Recognition in Fully Observable Non−deterministic Domain Models
-
[3]
Mimicking Behaviors in Separated Domains (Abstract Reprint)
Giuseppe De Giacomo‚ Dror Fried‚ Fabio Patrizi and Shufang Zhu
In AAAI 2024 (Journal Track). 2024.
Details about Mimicking Behaviors in Separated Domains (Abstract Reprint) | BibTeX data for Mimicking Behaviors in Separated Domains (Abstract Reprint)
-
[4]
Mimicking Behaviors in Separated Domains
Giuseppe De Giacomo‚ Dror Fried‚ Fabio Patrizi and Shufang Zhu
In J. Artif. Intell. Res. (JAIR). Vol. 77. Pages 1087–1112. 2023.
Details about Mimicking Behaviors in Separated Domains | BibTeX data for Mimicking Behaviors in Separated Domains
-
[5]
AI−augmented Business Process Management Systems: A Research Manifesto
Marlon Dumas‚ Fabiana Fournier‚ Lior Limonad‚ Andrea Marrella‚ Marco Montali‚ Jana−Rebecca Rehse‚ Rafael Accorsi‚ Diego Calvanese‚ Giuseppe De Giacomo‚ Dirk Fahland‚ Avigdor Gal‚ Marcello La Rosa‚ Hagen Voelzer and Ingo Weber
In ACM Transactions on Management Information Systems. Vol. 14. No. 1. Pages 11. 2023.
Details about AI−augmented Business Process Management Systems: A Research Manifesto | BibTeX data for AI−augmented Business Process Management Systems: A Research Manifesto
-
[6]
A Tool for Declarative Trace Alignment via Automated Planning
Giuseppe De Giacomo‚ Francesco Fuggitti‚ Fabrizio Maria Maggi‚ Andrea Marrella Favorito and Fabio Patrizi
In Software Impacts. Vol. 16. 2023.
Details about A Tool for Declarative Trace Alignment via Automated Planning | BibTeX data for A Tool for Declarative Trace Alignment via Automated Planning
-
[7]
Digital Twin Composition in Smart Manufacturing via Markov Decision Processes
Giuseppe De Giacomo‚ Marco Favorito‚ Francesco Leotta‚ Massimo Mecella and Luciana Silo
In Computers in Industry. Vol. 149. 2023.
Details about Digital Twin Composition in Smart Manufacturing via Markov Decision Processes | BibTeX data for Digital Twin Composition in Smart Manufacturing via Markov Decision Processes
-
[8]
Finite−trace and Generalized−Reactivity Specifications in Temporal Synthesis
Giuseppe De Giacomo‚ Antonio Di Stasio‚ Lucas M. Tabajara‚ Moshe Y. Vardi and Shufang Zhu
In Formal Methods in System Design. 2023.
Details about Finite−trace and Generalized−Reactivity Specifications in Temporal Synthesis | BibTeX data for Finite−trace and Generalized−Reactivity Specifications in Temporal Synthesis
Conference papers
-
[1]
Misconceptions in Finite−Trace and Infinite−Trace Linear Temporal Logic
Ben Greenman‚ Siddhartha Prasad‚ Antonio Di Stasio‚ Shufang Zhu‚ Giuseppe De Giacomo‚ Shriram Krishnamurthi‚ Marco Montali‚ Tim Nelson and Milda Zizyte
In FM 2024. 2024.
Details about Misconceptions in Finite−Trace and Infinite−Trace Linear Temporal Logic | BibTeX data for Misconceptions in Finite−Trace and Infinite−Trace Linear Temporal Logic
-
[2]
Abstraction of Situation Calculus Concurrent Game Structures
Yves Lespérance‚ Giuseppe De Giacomo‚ Maryam Rostamigiv and Shakil M. Khan
In AAAI 2024. 2024.
Details about Abstraction of Situation Calculus Concurrent Game Structures | BibTeX data for Abstraction of Situation Calculus Concurrent Game Structures
-
[3]
Pure−Past Action Masking
Giovanni Varricchione‚ Natasha Alechina‚ Mehdi Dastani‚ Giuseppe De Giacomo‚ Brian Logan and Giuseppe Perelli
In AAAI 2024. 2024.
Details about Pure−Past Action Masking | BibTeX data for Pure−Past Action Masking
-
[4]
Planning with Object Creation
Augusto B. Correa‚ Giuseppe De Giacomo‚ Malte Helmert and Sasha Rubin
In ICAPS 2024. 2024.
Details about Planning with Object Creation | BibTeX data for Planning with Object Creation
-
[5]
Composition of Stochastic Services for LTLf Goal Specifications
Giuseppe De Giacomo‚ Marco Favorito and Luciana Silo
In FoIKS 2024. 2024.
Details about Composition of Stochastic Services for LTLf Goal Specifications | BibTeX data for Composition of Stochastic Services for LTLf Goal Specifications
-
[6]
Effective Approach to LTLf Best−Effort Synthesis in Multi−Tier Environments
Benjamin Aminof‚ Giuseppe De Giacomo‚ Gianmarco Parretti and Sasha Rubin
In IJCAI 2024. 2024.
Details about Effective Approach to LTLf Best−Effort Synthesis in Multi−Tier Environments | BibTeX data for Effective Approach to LTLf Best−Effort Synthesis in Multi−Tier Environments
-
[7]
The Trembling−Hand Problem for LTLf Planning
Pian Yu‚ Shufang Zhu‚ Giuseppe De Giacomo‚ Marta Kwiatkowska and Moshe Vardi
In IJCAI 2024. 2024.
Details about The Trembling−Hand Problem for LTLf Planning | BibTeX data for The Trembling−Hand Problem for LTLf Planning
-
[8]
Lifted Planning: Recent Advances in Planning Using First−Order Representation
Augusto B. Correa and Giuseppe De Giacomo
In IJCAI 2024 (Survey Track). 2024.
Details about Lifted Planning: Recent Advances in Planning Using First−Order Representation | BibTeX data for Lifted Planning: Recent Advances in Planning Using First−Order Representation
-
[9]
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 and Enrico Scala
In IJCAI 2024 (Sister Track). 2024.
Details about Planning for Temporally Extended Goals in Pure−Past Linear Temporal Logic (Extended Abstract) | BibTeX data for Planning for Temporally Extended Goals in Pure−Past Linear Temporal Logic (Extended Abstract)
-
[10]
Shielded FOND: Planning With Safety Constraints in Pure−Past Linear Temporal Logic
Luigi Bonassi‚ Giuseppe De Giacomo‚ Alfonso Emilio Gerevini and Enrico Scala
In ECAI 2024. 2024.
Details about Shielded FOND: Planning With Safety Constraints in Pure−Past Linear Temporal Logic | BibTeX data for Shielded FOND: Planning With Safety Constraints in Pure−Past Linear Temporal Logic
-
[11]
Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes
Gabriel Paludo Licks‚ Fabio Patrizi and Giuseppe De Giacomo
In ECAI 2024. 2024.
Details about Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes | BibTeX data for Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes
-
[12]
Proper Linear−time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis
Benjamin Aminof‚ Giuseppe De Giacomo‚ Sasha Rubin and Florian Zuleger
In KR 2024. 2024.
Details about Proper Linear−time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis | BibTeX data for Proper Linear−time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis
-
[13]
Abstraction of Situation Calculus Concurrent Game Structures − Extended Abstract
Yves Lespérance‚ Giuseppe De Giacomo‚ Maryam Rostamigiv and Shakil M. Khan
In KR 2024 (Previously Published Research Track). 2024.
Details about Abstraction of Situation Calculus Concurrent Game Structures − Extended Abstract | BibTeX data for Abstraction of Situation Calculus Concurrent Game Structures − Extended Abstract
-
[14]
Abstraction of Nondeterministic Situation Calculus Action Theories
Bita Banihashemi‚ Giuseppe De Giacomo and Yves Lespérance
In IJCAI 2023. 2023.
Details about Abstraction of Nondeterministic Situation Calculus Action Theories | BibTeX data for Abstraction of Nondeterministic Situation Calculus Action Theories
-
[15]
Stochastic Best−Effort Strategies for Borel Goals
Benjamin Aminof‚ Giuseppe De Giacomo‚ Sasha Rubin and Florian Zuleger
In LICS 2023. 2023.
Details about Stochastic Best−Effort Strategies for Borel Goals | BibTeX data for Stochastic Best−Effort Strategies for Borel Goals
-
[16]
Planning for Temporally Extended Goals in Pure−Past Linear Temporal Logic
Luigi Bonassi‚ Giuseppe De Giacomo‚ Marco Favorito‚ Francesco Fuggitti‚ Alfonso Emilio Gerevini and Enrico Scala
In ICAPS 2023. 2023.
Best Student Paper Award
Details about Planning for Temporally Extended Goals in Pure−Past Linear Temporal Logic | BibTeX data for Planning for Temporally Extended Goals in Pure−Past Linear Temporal Logic
-
[17]
Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca‚ Nadezda Alexandrovna Knorozova and Giuseppe De Giacomo
In AAAI 2023. 2023.
Details about Automata Cascades: Expressivity and Sample Complexity | BibTeX data for Automata Cascades: Expressivity and Sample Complexity
-
[18]
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
Roberto Cipollone‚ Giuseppe De Giacomo‚ Marco Favorito‚ Luca Iocchi and Fabio Patrizi
In AAAI 2023. 2023.
Details about Exploiting Multiple Abstractions in Episodic RL via Reward Shaping | BibTeX data for Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
-
[19]
Reactive Synthesis of Dominant Strategies
Benjamin Aminof‚ Giuseppe De Giacomo and Sasha Rubin
In AAAI 2023. 2023.
Details about Reactive Synthesis of Dominant Strategies | BibTeX data for Reactive Synthesis of Dominant Strategies
-
[20]
Grounding LTLf Specifications in Image Sequences
Elena Umili‚ Roberto Capobianco and Giuseppe De Giacomo
In KR 2023. 2023.
Details about Grounding LTLf Specifications in Image Sequences | BibTeX data for Grounding LTLf Specifications in Image Sequences
-
[21]
AIDA: A Tool for Resiliency in Smart Manufacturing
Giuseppe De Giacomo‚ Marco Favorito‚ Francesco Leotta‚ Massimo Mecella‚ Flavia Monti and Luciana Silo
In CAiSE Forum 2023. 2023.
Details about AIDA: A Tool for Resiliency in Smart Manufacturing | BibTeX data for AIDA: A Tool for Resiliency in Smart Manufacturing
-
[22]
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes
Benjamin Aminof‚ Giuseppe De Giacomo‚ Antonio Di Stasio‚ Hugo Francon‚ Sasha Rubin and Shufang Zhu
In EUMAS 2023. 2023.
Details about LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes | BibTeX data for LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes
-
[23]
Symbolic sc LTLf Best−Effort Synthesis
Giuseppe De Giacomo‚ Gianmarco Parretti and Shufang Zhu
In EUMAS 2023. 2023.
Details about Symbolic sc LTLf Best−Effort Synthesis | BibTeX data for Symbolic sc LTLf Best−Effort Synthesis
-
[24]
Behavioral QLTL
Giuseppe De Giacomo and Giuseppe Perelli
In EUMAS 2023. 2023.
Details about Behavioral QLTL | BibTeX data for Behavioral QLTL
-
[25]
LTLf Best−Effort Synthesis in Nondeterministic Planning Domains
Giuseppe De Giacomo‚ Gianmarco Parretti and Shufang Zhu
In ECAI 2023. 2023.
Details about LTLf Best−Effort Synthesis in Nondeterministic Planning Domains | BibTeX data for LTLf Best−Effort Synthesis in Nondeterministic Planning Domains
-
[26]
FOND Planning for Pure−Past Linear Temporal Logic Goals
Luigi Bonassi‚ Giuseppe De Giacomo‚ Marco Favorito‚ Francesco Fuggitti‚ Alfonso Emilio Gerevini and Enrico Scala
In ECAI 2023. 2023.
Details about FOND Planning for Pure−Past Linear Temporal Logic Goals | BibTeX data for FOND Planning for Pure−Past Linear Temporal Logic Goals
-
[27]
Towards ILP−Based LTLf Passive Learning
Antonio Ielo‚ Mark Law‚ Valeria Fionda‚ Francesco Ricca‚ Giuseppe De Giacomo and Alessandra Russo
In ILP 2023. 2023.
Best Paper Award
Details about Towards ILP−Based LTLf Passive Learning | BibTeX data for Towards ILP−Based LTLf Passive Learning