Strategic reasoning for socially good mechanisms

Projektinformationen

SEAL

ID Finanzhilfevereinbarung: 101105549

DOI

10.3030/101105549

Projekt abgeschlossen

EK-Unterschriftsdatum 10 Juli 2023

Startdatum 1 August 2023

Enddatum 31 Juli 2025

Finanziert unter

• Marie Skłodowska-Curie Actions (MSCA)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 172 750,08

Koordiniert durch

UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II
Italy

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

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.

Veröffentlichungen

Conference proceedings (10)

Verification of Bayesian Mechanisms with Strategy Logic

Autoren: Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel
Veröffentlicht in: Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Herausgeber: CEUR Workshop Proceedings

Natural Strategic Ability in Stochastic Multi-Agent Systems

Autoren: Raphaël Berthon; Joost-Pieter Katoen; Munyque Mittelmann; Aniello Murano
Veröffentlicht in: AAAI Conference on Artificial Intelligence, 2024, ISSN 2374-3468
Herausgeber: AAAI Press
DOI: 10.1609/AAAI.V38I16.29678

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

Autoren: Galimullin, Rustam; Mittelmann, Munyque; Motamed, Nima; Gladyshev, Maksim; Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima
Veröffentlicht in: Proc. of the 24th Inter- national Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Herausgeber: IFAAMAS
DOI: 10.5555/3709347.3743601

Playing Quantitative Games Against an Authority: On the Module Checking Problem

Autoren: Wojciech Jamroga; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli
Veröffentlicht in: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), ISBN 9798400704864
Herausgeber: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.5555/3635637.3662947

Incentive Design for Rational Agents

Autoren: David Hyland; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli; Michael Wooldridge
Veröffentlicht in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Herausgeber: IJCAI Organization
DOI: 10.24963/KR.2024/44

Natural Strategic Ability in Stochastic Multi-Agent Systems

Autoren: Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
Veröffentlicht in: Crossref, 2024
Herausgeber: Arxiv
DOI: 10.48550/arxiv.2401.12170

Verification of Stochastic Multi-Agent Systems with Forgetful Strategies

Autoren: Francesco Belardinelli; Wojtek Jamroga; Munyque Mittelmann; Aniello Murano
Veröffentlicht in: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), ISBN 9798400704864
Herausgeber: International Foundation for Autonomous Agents and Multiagent Systems
DOI: 10.5555/3635637.3662863

Rational Capability in Concurrent Games

Autoren: Mittelmann, Munyque; Li, Yinfeng; Lorini, Emiliano; Li, Yinfeng; Lorini, Emiliano; Mittelmann, Munyque
Veröffentlicht in: Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Herausgeber: IFAAMAS
DOI: 10.5555/3709347.3743763

Strategic Abilities of Forgetful Agents in Stochastic Environments

Autoren: Francesco Belardinelli; Wojciech Jamroga; Munyque Mittelmann; Aniello Murano
Veröffentlicht in: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), ISSN 2334-1033
Herausgeber: IJCAI Organization
DOI: 10.24963/KR.2023/71

Verification of General Games with Imperfect Information Using Strategy Logic

Autoren: Yifan He; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher
Veröffentlicht in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Herausgeber: IJCAI Organization
DOI: 10.24963/KR.2024/40

Peer reviewed articles (1)

Formal Verification and Synthesis of Mechanisms for Social Choice

Autoren: Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Veröffentlicht in: Artificial Intelligence, 2024, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2024.104272