Synthesis of Mechanisms with Strategy Logic (Short Paper) - Logique, Interaction, Langue et Calcul Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

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.
Fichier principal
Vignette du fichier
2685.pdf (1.16 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-03879258 , version 1

Citer

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⟩
42 Consultations
33 Téléchargements

Partager

Gmail Facebook X LinkedIn More