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)


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)




  • HAL Id : hal-03879258 , version 1


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


Gmail Facebook Twitter LinkedIn More