In open systems verification, to formally check for reliability, one needs an appropriate
formalism to model the interaction between agents and express the correctness of the …

Mechanism Design aims to design a game so that a desirable outcome is reached
regardless of agents' self-interests. In this paper, we show how this problem can be …

Abstract Strategy Logic (Sl, for short) has been recently introduced by Mogavero, Murano,
and Vardi as a formalism for reasoning explicitly about strategies, as first-order objects, in …

In this paper we introduce Strategy Logic with Simple Goals (SL [SG]), a fragment of Strategy
Logic that strictly extends Alternating-time Temporal Logic ATL by introducing arbitrary …

Abstract Model checking multi-agent systems, in which agents are distributed and thus may
have different observations of the world, against strategic behaviours is known to be a …

In game theory, as well as in the semantics of game logics, a strategy can be represented by
any function from states of the game to the agent's actions. That makes sense from the …

Game theory provides a powerful mathematical framework to reason about the interaction of
autonomous, purposeful agents. It has seen numerous applications in robotics, computer …

In rational verification, the aim is to verify which temporal logic properties will obtain in a
multi-agent system, under the assumption that agents (“players”) in the system choose …

In distributed agent systems, agents with different abilities work autonomously to reach a
common task, in the face of challenges posed by their environment. Two types of structures …

We consider extensions of Coalition Logic (CL) which can express statements about inter-
related powers of coalitions to achieve their respective goals. In particular, we introduce and …