Add to ORKGMechanism 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 rephrased as a synthesis problem, where mechanisms are automatically synthesized from a partial or complete specification in a high-level logical language. We show that Quantitative Strategy Logic is a perfect candidate for specifying mechanisms as it can express complex strategic and quantitative properties. We solve automated mechanism design in two cases: when the number of actions is bounded, and when agents play in turn
In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable...
Mechanism design is the art of designing the rules of thegame (aka. mechanism) so that a desirable o...
As a contribution to the challenge of building game-playing AI systems, we develop and analyse a for...
Mechanism Design aims to design a game so that a desirable outcome is reached regardless of agents' ...
Mechanism Design aims at defining mechanisms that satisfy a predefined set of properties, and Auctio...
We advance two main claims. The first is that logics — and in particular, modal strategy logics — ar...
Algorithmic mechanism design, as practised today, is a manual process; however, manual design and re...
In many multiagent settings, a decision must be made based on the preferences of multiple agents, an...
In many multiagent settings, a decision must be made based on the preferences of multiple agents, an...
Synthesis is the automated construction of a system from its specification. The system has to satisf...
We present a functional framework for au-tomated mechanism design based on a two-stage game model of...
We present a functional framework for automated Bayesian and robust mechanism design based on a two-...
In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable...
The aggregation of conflicting preferences is a central problem in multiagent systems. The key diffi...
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The ...
In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable...
Mechanism design is the art of designing the rules of thegame (aka. mechanism) so that a desirable o...
As a contribution to the challenge of building game-playing AI systems, we develop and analyse a for...
Mechanism Design aims to design a game so that a desirable outcome is reached regardless of agents' ...
Mechanism Design aims at defining mechanisms that satisfy a predefined set of properties, and Auctio...
We advance two main claims. The first is that logics — and in particular, modal strategy logics — ar...
Algorithmic mechanism design, as practised today, is a manual process; however, manual design and re...
In many multiagent settings, a decision must be made based on the preferences of multiple agents, an...
In many multiagent settings, a decision must be made based on the preferences of multiple agents, an...
Synthesis is the automated construction of a system from its specification. The system has to satisf...
We present a functional framework for au-tomated mechanism design based on a two-stage game model of...
We present a functional framework for automated Bayesian and robust mechanism design based on a two-...
In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable...
The aggregation of conflicting preferences is a central problem in multiagent systems. The key diffi...
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The ...
In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable...
Mechanism design is the art of designing the rules of thegame (aka. mechanism) so that a desirable o...
As a contribution to the challenge of building game-playing AI systems, we develop and analyse a for...