FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Automated Synthesis of Mechanisms

Authors: Munyque Mittelmann, Bastien Maubert, Aniello Murano and Laurent Perrussel

Paper Information

Title:Automated Synthesis of Mechanisms
Authors:Munyque Mittelmann, Bastien Maubert, Aniello Murano and Laurent Perrussel
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Mechanism Design, Strategic Reasoning, Logics for Multi-Agent Systems
Pages:1
Talk:Jul 31 11:45 (Session 11)
Paper: