Synthesis of Mechanisms with Strategy Logic (Short Paper) - Logique, Interaction, Langue et Calcul Access content directly
Conference Papers Year : 2022

Synthesis of Mechanisms with Strategy Logic (Short Paper)

Abstract

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.
Fichier principal
Vignette du fichier
2685.pdf (1.16 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03879258 , version 1 (30-11-2022)

Licence

Attribution

Identifiers

  • HAL Id : hal-03879258 , version 1

Cite

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel. Synthesis of Mechanisms with Strategy Logic (Short Paper). 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6. ⟨hal-03879258⟩
33 View
25 Download

Share

Gmail Facebook Twitter LinkedIn More