Munyque Mittelmann
Open Menu
Close Menu
About
Publications
Experience
Paper-Conference
Repairing General Game Descriptions
Oct 1, 2025
Robust Strategies for Stochastic Multi-Agent Systems
Jan 1, 2025
Rational Capability in Concurrent Games
Jan 1, 2025
Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
Jan 1, 2025
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
Jan 1, 2024
Verification of General Games with Imperfect Information Using Strategy Logic
Jan 1, 2024
Playing Quantitative Games Against an Authority: On the Module Checking Problem
Jan 1, 2024
Natural Strategic Ability in Stochastic Multi-Agent Systems
Jan 1, 2024
Incentive Design for Rational Agents
Jan 1, 2024
Strategic Abilities of Forgetful Agents in Stochastic Environments
Jan 1, 2023
Next »