Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Incremental LTLf Synthesis
Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti +2
In this paper, we study incremental LTLf synthesis -- a form of reactive synthesis where the goals are given incrementally while in execution. In other words, the protagonist agent…
cs.AI2025
LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
We study a variant of LTLf synthesis that synthesizes adaptive strategies for achieving a multi-tier goal, consisting of multiple increasingly challenging LTLf objectives in nondet…
cs.AI2024
Computational Grounding of Responsibility Attribution and Anticipation in LTLf
Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker +1
Responsibility is one of the key notions in machine ethics and in the area of autonomous systems. It is a multi-faceted notion involving counterfactual reasoning about actions and…