Scholar
Munyque Mittelmann
Google Scholar ID: OH3kv1YAAAAJ
CNRS, LIPN, Université Sorbonne Paris Nord
Citations & Impact
Citations
185
H-index
9
i10-index
7
Publications
20
Co-authors
19
list available
Publications
Resume (English only)
Academic Achievements
- Paper accepted at KR 2025; AAMAS 2025 papers published: 'Rational Capability in Concurrent Games', 'Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems', 'Robust Strategies for Stochastic Multi-Agent Systems' (extended abstract); AIJ paper 'Formal Verification and Synthesis of Mechanisms for Social Choice' available in open access.
Research Experience
- Currently a researcher at CNRS - LIPN, affiliated with Sorbonne Paris North University.
Education
- Ph.D. from University Toulouse Capitole - IRIT; Previously a Marie-Curie fellow at the University of Naples Federico II.
Background
- Research interests include logics for multi-agent systems, formal methods, knowledge representation, strategic reasoning, and algorithmic game theory.
Miscellany
- Guest editor for a special issue of Information and Computation; Co-chair of the Doctoral Consortium @ KR 2026.
