4 citations · 13 across the 10 of their papers we have counts for
10 papers
The Trembling-Hand Problem for LTLf Planning
Pian Yu, Shufang Zhu, Giuseppe De Giacomo +2
Consider an agent acting to achieve its temporal goal, but with a "trembling hand". In this case, the agent may mistakenly instruct, with a certain (typically small) probability, a…
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
We study best-effort strategies (aka plans) in fully observable nondeterministic domains (FOND) for goals expressed in Linear Temporal Logic on Finite Traces (LTLf). The notion of…
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio +3
In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks…
Symbolic LTLf Best-Effort Synthesis
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
We consider an agent acting to fulfil tasks in a nondeterministic environment. When a strategy that fulfills the task regardless of how the environment acts does not exist, the age…
Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the outcome of the nondet…
Act for Your Duties but Maintain Your Rights
Shufang Zhu, Giuseppe De Giacomo
Most of the synthesis literature has focused on studying how to synthesize a strategy to fulfill a task. This task is a duty for the agent. In this paper, we argue that intelligent…