Munyque Mittelmann

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

4h-index51citations40works0.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, Reasoning, and Knowledge(21), Auction Theory and Applications(15), Multi-Agent Systems and Negotiation(14), Formal Methods in Verification(8), Game Theory and Voting Systems(3)

Publications40 total

Formal Verification of Diffusion Auctions
arXiv (Cornell University)·2025Open Access
Repairing General Game Descriptions
2025Open Access
Robust Strategies for Stochastic Multi-Agent Systems
2025
Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
2025
Inquisitive Team Semantics of LTL
arXiv (Cornell University)·2025Open Access
Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
arXiv (Cornell University)·2025Open Access
Formal verification and synthesis of mechanisms for social choice
Artificial Intelligence·2024Open Access
Incentive Design for Rational Agents
2024Open Access
Verification of General Games with Imperfect Information Using Strategy Logic
2024Open Access
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
SPIRE - Sciences Po Institutional REpository·2024· 1 cited
Playing Quantitative Games Against an Authority: On the Module Checking Problem
SPIRE - Sciences Po Institutional REpository·2024
Playing Quantitative Games Against an Authority: On the Module Checking Problem
2024
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
2024
Natural Strategic Ability in Stochastic Multi-Agent Systems
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 1 citedOpen Access
Natural Strategic Ability in Stochastic Multi-Agent Systems
arXiv (Cornell University)·2024Open Access
Strategic Abilities of Forgetful Agents in Stochastic Environments
arXiv (Cornell University)·2023Open Access
Discounting in Strategy Logic
2023Open Access
Strategic Abilities of Forgetful Agents in Stochastic Environments
2023· 3 citedOpen Access
Formal Verification of Bayesian Mechanisms
Proceedings of the AAAI Conference on Artificial Intelligence·2023· 4 citedOpen Access
Representing and Reasoning about Auctions
2023
page 1 of 2Next →

Frequent Co-authors

Aniello Murano(18), Laurent Perrussel(16), Bastien Maubert(5), Francesco Belardinelli(5), Sylvain Bouveret(4), Wojciech Jamroga(4), Jerusa Marchi(3), Aldo von Wangenheim(3), Raphaël Berthon(3), Aniello Murano(3), Rustam Galimullin(3), Silvia Stranieri(2), Wojtek Jamroga(2), Aniello Murano(2), Joost-Pieter Katoen(2), Giuseppe Perelli(2), Yifan He(2), Abdallah Saffidine(2), Michael Thielscher(2), Daniel Gomes Soares(2)