Munyque Mittelmann

Marie-Curie Fellow, University of Naples Federico II

About me

I am a postdoc at the University of Naples Federico II where I work in the Automated Strategic Reasoning (ASTREA) group. 

I am the principal investigator of the project SEAL (Strategic rEasoning for sociALly good mechanisms), for which I obtained a Marie Skłodowska-Curie Individual Fellowship from the European Commission. 

I did my Ph.D. in Computer Science at the University Toulouse 1 Capitole - IRIT, under the supervision of Laurent Perrussel. 

My research is focused in logics for multi-agent systems, formal methods, knowledge representation, strategic reasoning, and game theory 

See my publications on DBLP, ResearchGate, SemanticScholar, and Google Scholar. 


Our paper Playing Quantitative Games Against an Authority: On the Module Checking Problem” was accepted at AAMAS 2024 (with W. Jamroga, A. Murano, and G. Perelli). 

Our paper Verification of Stochastic Multi-Agent Systems with Forgetful Strategies” was accepted at AAMAS 2024 (with F. Belardinelli, W. Jamroga, and A. Murano). 

Our paper Natural Strategic Ability in Stochastic Multi-Agent Systems” was accepted at AAAI 2024 (with R. Berthon, J.-P. Katoen, and A. Murano). 

I've been awarded the KR Early Career Award 2023.

Horizon-MSCA project SEAL (Strategic rEasoning for sociALly good  mechanisms) started in August 2023 (ᵔᴥᵔ).

Thesis award AI 2023 (ex-aequo) by the French Association for AI.