Gianmarco Parretti — accepted AI-conference papers

2025

Responsibility Anticipation and Attribution in LTLf

Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti

IJCAI 2025

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 strategies. In this paper, we study different variants of responsibility for LTLf outcomes based on strategic reasoning.

Cited by 0 Source ↗PDF ↗Scholar ↗

2024

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments

Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

IJCAI 2024poster

We consider an agent acting in a complex environment modeled through a multi-tiered specification, in which each tier adds nondeterminism in the environment response to the agent actions. In this setting, we devise an effective approach to best-effort synthesis, i.e., synthesizing agent strategies t…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗