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