Mittelmann, Munyque

4 publications

AAAI 2024 Natural Strategic Ability in Stochastic Multi-Agent Systems Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

IJCAI 2023 Discounting in Strategy Logic Munyque Mittelmann, Aniello Murano, Laurent Perrussel

AAAI 2023 Formal Verification of Bayesian Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

IJCAI 2022 Automated Synthesis of Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel