Munyque Mittelmann
5 papers
· 2022–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (3)
IJCAI (2)
Top co-authors
Keywords
model checking
(4)
game theory
(2)
formal verification
(1)
nash equilibrium
(1)
strategic reasoning
(1)
strategy synthesis
(1)
diffusion auction
(1)
strategy logic
(1)
multi-agent system
(1)
probabilistic strategy logic
(1)
stochastic multi-agent system
(1)
automated synthesis
(1)
bayesian mechanism
(1)
probabilistic temporal logic
(1)
strategic properties
(1)
quantitative strategy logic
(1)
bayesian-nash equilibrium
(1)
natural strategies
(1)
mechanism design
(1)
Papers
Discounting in Strategy Logic
IJCAI 2023
Automated Synthesis of Mechanisms
IJCAI 2022