Publications

Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano (2023). Strategic Abilities of Forgetful Agents in Stochastic Environments. KR.

Munyque Mittelmann, Laurent Perrussel, Sylvain Bouveret (2023). Representing and Reasoning about Auctions. AAMAS.

Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri (2023). Parking Problem with Multiple Gates. PAAMS.

Aniello Murano, Silvia Stranieri, Munyque Mittelmann (2023). Multi-Agent Parking Problem with Sequential Allocation. ICAART (3).

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

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

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel (2022). Synthesis of Mechanisms with Strategy Logic. ICTCS.

Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel (2022). Representing and reasoning about auctions. Auton. Agents Multi Agent Syst..

Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel (2022). Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS.

Munyque Mittelmann (2022). Logics for Reasoning about Auctions (Short Paper). IPS/RiCeRcA/SPIRIT@AIIA*.