We investigate the verification of Multi-Agent Systems against strategic properties expressed
in Alternating-time Temporal Logic under the assumptions of imperfect information and …

We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii
and study its model-checking problem. As this logic naturally captures multi-player games …

The model checking problem for multi-agent systems against specifications in the alternating-
time temporal logic ATL, hence ATL∗, under perfect recall and imperfect information is …

Abstract Multi-Agent Systems (MAS) are notoriously complex and hard to verify. In fact, it is
not trivial to model a MAS, and even when a model is built, it is not always possible to verify …

We formally introduce and solve the synthesis problem for LTL goals in the case of multiple,
even contradicting, assumptions about the environment. Our solution concept is based …

We propose a formalism to model and reason about reconfigurable multi-agent systems. In
our formalism, agents interact and communicate in different modes so that they can pursue …

In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL*
under imperfect information. Specifically, we present novel decidability and complexity …

The model checking problem for multi-agent systems against Strategy Logic specifications is
known to be non-elementary. On this logic several fragments have been defined to tackle …

We study the semantics of knowledge in strategic reasoning. Most existing works either
implicitly assume that agents do not know one another's strategies, or that all strategies are …

In multi-agent system design, a crucial aspect is to ensure robustness, meaning that for a
coalition of agents A, small violations of adversarial assumptions only lead to small …