3 citations · 7 across the 7 of their papers we have counts for
7 papers · 1 filter
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models
Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo
Goal Recognition is the task of discerning the correct intended goal that an agent aims to achieve, given a set of possible goals, a domain model, and a sequence of observations as…
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
We address two central notions of fairness in the literature of planning on nondeterministic fully observable domains. The first, which we call stochastic fairness, is classical, a…
LTLf Synthesis with Fairness and Stability Assumptions
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu +1
In synthesis, assumptions are constraints on the environment that rule out certain environment behaviors. A key observation here is that even if we consider systems with LTLf goals…
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner +1
We study the characterization and computation of general policies for families of problems that share a structure characterized by a common reduction into a single abstract problem…
Hybrid Temporal Situation Calculus
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
The ability to model continuous change in Reiter's temporal situation calculus action theories has attracted a lot of interest. In this paper, we propose a new development of his a…
Situation Calculus for Synthesis of Manufacturing Controllers
Giuseppe De Giacomo, Brian Logan, Paolo Felli +2
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to…