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 …

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 …

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 …

We introduce and investigate Normative Synthesis: a new class of problems for the
equilibrium verification that counters the absence of equilibria by purposely constraining …

The paper presents a novel SMT-based method for testing the satisfiability of formulae that
express strategic properties of timed multi-agent systems represented by networks of timed …

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 …