Giuseppe De Giacomo | DeepAI

AI Chat

Featured Co-authors

Marlon Dumas
44 publications
Marco Montali
42 publications
Diego Calvanese
29 publications
Hector Geffner
26 publications
Ingo Weber
25 publications
Blai Bonet
24 publications
Aniello Murano
24 publications
Marcello La Rosa
22 publications
Felipe Meneguzzi
21 publications
Geguang Pu
17 publications
Avigdor Gal
15 publications

∙ 08/29/2023

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

We study best-effort strategies (aka plans) in fully observable nondeter...

0 Giuseppe De Giacomo, et al. ∙

∙ 08/29/2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

In this paper, we study LTLf synthesis under environment specifications ...

0 Benjamin Aminof, et al. ∙

∙ 08/29/2023

Symbolic LTLf Best-Effort Synthesis

We consider an agent acting to fulfil tasks in a nondeterministic enviro...

0 Giuseppe De Giacomo, et al. ∙

∙ 06/14/2023

Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models

Goal Recognition is the task of discerning the correct intended goal tha...

7 Ramon Fraga Pereira, et al. ∙

∙ 05/20/2023

Abstraction of Nondeterministic Situation Calculus Action Theories – Extended Version

We develop a general framework for abstracting the behavior of an agent ...

0 Bita Banihashemi, et al. ∙

∙ 02/28/2023

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping

One major limitation to the applicability of Reinforcement Learning (RL)...

0 Roberto Cipollone, et al. ∙

∙ 02/07/2023

Act for Your Duties but Maintain Your Rights

Most of the synthesis literature has focused on studying how to synthesi...

0 Shufang Zhu, et al. ∙

∙ 11/25/2022

Automata Cascades: Expressivity and Sample Complexity

Every automaton can be decomposed into a cascade of basic automata. This...

0 Alessandro Ronca, et al. ∙

∙ 05/18/2022

Mimicking Behaviors in Separated Domains

Devising a strategy to make a system mimicking behaviors from another sy...

0 Giuseppe De Giacomo, et al. ∙

∙ 04/29/2022

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes

Our work aims at developing reinforcement learning algorithms that do no...

0 Alessandro Ronca, et al. ∙

∙ 04/21/2022

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

We study temporally extended goals expressed in Pure-Past LTL (PPLTL). P...

0 Giuseppe De Giacomo, et al. ∙

∙ 04/08/2022

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Fully Observable Non-Deterministic (FOND) planning models uncertainty th...

9 Ramon Fraga Pereira, et al. ∙

∙ 01/30/2022

Augmented Business Process Management Systems: A Research Manifesto

Augmented Business Process Management Systems (ABPMSs) are an emerging c...

15 Marlon Dumas, et al. ∙

∙ 05/14/2021

Efficient PAC Reinforcement Learning in Regular Decision Processes

Recently regular decision processes have been proposed as a well-behaved...

0 Alessandro Ronca, et al. ∙

∙ 03/22/2021

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

Goal Recognition is the task of discerning the correct intended goal tha...

6 Ramon Fraga Pereira, et al. ∙

∙ 02/22/2021

Behavioral QLTL

In this paper we introduce Behavioral QLTL, which is a “behavioral” vari...

0 Giuseppe De Giacomo, et al. ∙

∙ 12/24/2019

Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains

We address two central notions of fairness in the literature of planning...

0 Benjamin Aminof, et al. ∙

∙ 12/17/2019

LTLf Synthesis with Fairness and Stability Assumptions

In synthesis, assumptions are constraints on the environment that rule o...

10 Shufang Zhu, et al. ∙

∙ 09/26/2019

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints

We study the characterization and computation of general policies for fa...

0 Blai Bonet, et al. ∙

∙ 07/18/2018

Planning and Synthesis Under Assumptions

In Reasoning about Action and Planning, one synthesizes the agent plan b...

0 Benjamin Aminof, et al. ∙

∙ 07/17/2018

Reinforcement Learning for LTLf/LDLf Goals

MDPs extended with LTLf/LDLf non-Markovian rewards have recently attract...

0 Giuseppe De Giacomo, et al. ∙

∙ 07/12/2018

Hybrid Temporal Situation Calculus

The ability to model continuous change in Reiter's temporal situation ca...

0 Vitaliy Batusov, et al. ∙

∙ 07/12/2018

Situation Calculus for Synthesis of Manufacturing Controllers

Manufacturing is transitioning from a mass production model to a manufac...

0 Giuseppe De Giacomo, et al. ∙

∙ 06/25/2017

Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)

In Markov Decision Processes (MDPs), the reward obtained in a state depe...

0 Ronen Brafman, et al. ∙

∙ 09/07/2015

Bounded Situation Calculus Action Theories

In this paper, we investigate bounded action theories in the situation c...

0 Giuseppe De Giacomo, et al. ∙

∙ 04/30/2014

LTLf and LDLf Monitoring: A Technical Report

Runtime monitoring is one of the central tasks to provide operational de...

0 Giuseppe De Giacomo, et al. ∙

∙ 02/04/2014

Description Logic Knowledge and Action Bases

Description logic Knowledge and Action Bases (KAB) are a mechanism for p...

0 Babak Bagheri Hariri, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world