Munyque Mittelmann

Marie-Curie Fellow, University of Naples Federico II

About me

I am a Marie-Curie fellow at the University of Naples Federico II in the ASTREA group. 

I am the principal investigator of the project SEAL, for which I obtained an Individual Fellowship from the European Commission. 

I did my Ph.D. in Computer Science at the University Toulouse Capitole - IRIT. 

My research is related to logics for multi-agent systems, formal methods, knowledge representation, strategic reasoning, and algorithmic game theory.

Contact: munyque.mittelmann[at]unina.it 

News


I am co-chair to LAMAS&SR @ KR 24. 


We will give a course in ESSAI & ACAI 2024, titled "Formal Aspects of Strategic Reasoning and Game Playing " (with L. Perrussel and A. Murano). 


Our work will be presented at the workshop "Autonomous Agents for Social Good" at AAMAS 24.


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). 


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.  



EmailLinkLinkLinkLinkedIn