Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Strategic reasoning for socially good mechanisms

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (opens in new window)

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.

Communication, Dissemination & Exploitation Plan (opens in new window)

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.

Publications

Verification of Bayesian Mechanisms with Strategy Logic

Author(s): Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel
Published in: Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Publisher: CEUR Workshop Proceedings

Natural Strategic Ability in Stochastic Multi-Agent Systems (opens in new window)

Author(s): Raphaël Berthon; Joost-Pieter Katoen; Munyque Mittelmann; Aniello Murano
Published in: AAAI Conference on Artificial Intelligence, 2024, ISSN 2374-3468
Publisher: AAAI Press
DOI: 10.1609/AAAI.V38I16.29678

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems (opens in new window)

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

Incentive Design for Rational Agents (opens in new window)

Author(s): David Hyland; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli; Michael Wooldridge
Published in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Publisher: IJCAI Organization
DOI: 10.24963/KR.2024/44

Natural Strategic Ability in Stochastic Multi-Agent Systems (opens in new window)

Author(s): Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
Published in: Crossref, 2024
Publisher: Arxiv
DOI: 10.48550/arxiv.2401.12170

Rational Capability in Concurrent Games (opens in new window)

Author(s): Mittelmann, Munyque; Li, Yinfeng; Lorini, Emiliano; Li, Yinfeng; Lorini, Emiliano; Mittelmann, Munyque
Published in: Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Publisher: IFAAMAS
DOI: 10.5555/3709347.3743763

Verification of General Games with Imperfect Information Using Strategy Logic (opens in new window)

Author(s): Yifan He; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher
Published in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Publisher: IJCAI Organization
DOI: 10.24963/KR.2024/40

Formal Verification and Synthesis of Mechanisms for Social Choice (opens in new window)

Author(s): Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Published in: Artificial Intelligence, 2024, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2024.104272

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0