In this paper, for the first time, we study the formal verification of Bayesian mechanisms
through strategic reasoning. We rely on the framework of Probabilistic Strategy Logic (PSL) …

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 …

Two-player zero-sum" graph games" are central in logic, verification, and multi-agent
systems. The game proceeds by placing a token on a vertex of a graph, and allowing the …

Abstract We introduce Incentive Design: a new class of problems for equilibrium verification
in multi-agent systems. In our model, agents attempt to maximize their utility functions, which …

We study the rational verification problem for multi-agent systems in a setting where agents
have quantitative probabilistic goals. We use concurrent stochastic games to model multi …

We consider the problem of incentivising desirable behaviours in multi-agent systems by
way of taxation schemes. Our study employs the concurrent games model: in this model …

We address the following mechanism design problem: Given a multi-player Normal-Form
Game (NFG) with a continuous action space, find a non-discriminatory (ie, identical for all …

The goal of this paper is to propose a framework for representing and reasoning about the
rules of auction-based protocols. Such a framework is of interest for building digital …

In this paper, we study the multi-agent parking problem with time constraints adopting a
game-theoretic perspective. Precisely, cars are modeled as agents interacting among …

Mechanism Design (MD) aims at defining resources allocation protocols that satisfy a
predefined set of properties, and Auction Mechanisms are of foremost importance. Core …