70 citations · 114 across the 20 of their papers we have counts for
3 papers · 1 filter
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…