activity
20112020
most citedCoalition and Group Announcement Logic

10 citations · 17 across the 4 of their papers we have counts for

collaborators
Showing cs.AIShow all

5 papers · 1 filter

cs.AI2025

Pushdown Reward Machines for Reinforcement Learning

Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina +3

Reward machines (RMs) are automata structures that encode (non-Markovian) reward functions for reinforcement learning (RL). RMs can reward any behaviour representable in regular la…

cs.AI20251 cited

Causes and Strategies in Multiagent Systems

Sylvia S. Kerkhove, Natasha Alechina, Mehdi Dastani

Causality plays an important role in daily processes, human reasoning, and artificial intelligence. There has however not been much research on causality in multi-agent strategic s…

cs.AI2025

Probabilistic Strategy Logic with Degrees of Observability

Chunyan Mu, Nima Motamed, Natasha Alechina +1

There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are u…

cs.AI2025

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

Maksim Gladyshev, Natasha Alechina, Mehdi Dastani +2

Structural Equation Models (SEM) are the standard approach to representing causal dependencies between variables in causal models. In this paper we propose a new interpretation of…

cs.AI20205 cited

Causality, Responsibility and Blame in Team Plans

Natasha Alechina, Joseph Y. Halpern, Brian Logan

Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan. If a team plan fails, it is often of interest to determine wh…