Strategic reasoning for socially good mechanisms

Información del proyecto

SEAL

Identificador del acuerdo de subvención: 101105549

DOI

10.3030/101105549

Proyecto cerrado

Fecha de la firma de la CE 10 Julio 2023

Fecha de inicio 1 Agosto 2023

Fecha de finalización 31 Julio 2025

Financiado con arreglo a

• Marie Skłodowska-Curie Actions (MSCA)

Coste total

Sin datos

Aportación de la UE

€ 172 750,08

Coordinado por

UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II
Italy

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan (1)

Data Management Plan

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will be curated and preserved.

Documents, reports (1)

Communication, Dissemination & Exploitation Plan

The plan describes the planned measures to maximize the impact of the project, including the dissemination and exploitation measures that are planned, and the target group(s) addressed. Regarding communication measures and public engagement strategy, the aim is to inform and reach out to society and show the activities performed, and the use and the benefits the project will have for citizens.

Publicaciones

Conference proceedings (7)

Verification of Bayesian Mechanisms with Strategy Logic

Autores: Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel
Publicado en: Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Editor: CEUR Workshop Proceedings

Natural Strategic Ability in Stochastic Multi-Agent Systems

Autores: Raphaël Berthon; Joost-Pieter Katoen; Munyque Mittelmann; Aniello Murano
Publicado en: AAAI Conference on Artificial Intelligence, 2024, ISSN 2374-3468
Editor: AAAI Press
DOI: 10.1609/AAAI.V38I16.29678

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems

Autores: Galimullin, Rustam; Mittelmann, Munyque; Motamed, Nima; Gladyshev, Maksim; Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima
Publicado en: Proc. of the 24th Inter- national Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Editor: IFAAMAS
DOI: 10.5555/3709347.3743601

Incentive Design for Rational Agents

Autores: David Hyland; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli; Michael Wooldridge
Publicado en: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Editor: IJCAI Organization
DOI: 10.24963/KR.2024/44

Natural Strategic Ability in Stochastic Multi-Agent Systems

Autores: Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
Publicado en: Crossref, 2024
Editor: Arxiv
DOI: 10.48550/arxiv.2401.12170

Rational Capability in Concurrent Games

Autores: Mittelmann, Munyque; Li, Yinfeng; Lorini, Emiliano; Li, Yinfeng; Lorini, Emiliano; Mittelmann, Munyque
Publicado en: Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Editor: IFAAMAS
DOI: 10.5555/3709347.3743763

Verification of General Games with Imperfect Information Using Strategy Logic

Autores: Yifan He; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher
Publicado en: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Editor: IJCAI Organization
DOI: 10.24963/KR.2024/40

Peer reviewed articles (1)

Formal Verification and Synthesis of Mechanisms for Social Choice

Autores: Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Publicado en: Artificial Intelligence, 2024, ISSN 0004-3702
Editor: Elsevier BV
DOI: 10.1016/j.artint.2024.104272