Publications

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher (2025). Repairing General Game Descriptions. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning.

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano (2025). Robust Strategies for Stochastic Multi-Agent Systems. AAMAS.

Yinfeng Li, Emiliano Lorini, Munyque Mittelmann (2025). Rational Capability in Concurrent Games. AAMAS.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel (2025). Formal verification and synthesis of mechanisms for social choice. Artif. Intell..

Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann, Nima Motamed (2025). Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems. AAMAS.

Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano (2024). Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS.

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher (2024). Verification of General Games with Imperfect Information Using Strategy Logic. KR.

Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli (2024). Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS.

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

David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge (2024). Incentive Design for Rational Agents. KR.