4 papers
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…
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
Daniel Hausmann, Shufang Zhu, Gianmarco Parretti +3
Recently, the Manna-Pnueli Hierarchy has been used to define the temporal logics LTLfp and PPLTLp, which allow to use finite-trace LTLf/PPLTL techniques in infinite-trace settings…
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…
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…