Synthesis of Mechanisms with Strategy Logic (Short Paper)
Résumé
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 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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
