Munyque Mittelmann

Venues

Frequent coauthors

Papers

1. Formal Verification of Diffusion Auctions
   AAAI 2026 ·

   Rustam Galimullin

   DBLP profile ↗ORCID search ↗
2. I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
   KR 2026 ·

   Rustam Galimullin

   DBLP profile ↗ORCID search ↗
3. Proceedings of the Doctoral Consortium at the 23rd International Conference on Principles of Knowledge Representation and Reasoning, co-located with KR 2026, July 20-23, 2026, Lisbon, Portugal
   KR 2026 ·

   David Carral

   DBLP profile ↗ORCID search ↗
4. Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
   AAMAS 2025 ·

   Rustam Galimullin

   DBLP profile ↗ORCID search ↗
5. Rational Capability in Concurrent Games
   AAMAS 2025 ·

   Yinfeng Li

   DBLP profile ↗ORCID search ↗
6. Repairing General Game Descriptions
   KR 2025 ·

   Yifan He

   DBLP profile ↗ORCID search ↗
7. Robust Strategies for Stochastic Multi-Agent Systems
   AAMAS 2025 ·

   Raphaël Berthon

   DBLP profile ↗ORCID search ↗
8. Incentive Design for Rational Agents
   KR 2024 ·

   David Hyland

   DBLP profile ↗ORCID search ↗
9. Natural Strategic Ability in Stochastic Multi-Agent Systems
   AAAI 2024 ·

   Raphaël Berthon

   DBLP profile ↗ORCID search ↗
10. Playing Quantitative Games Against an Authority: On the Module Checking Problem
    AAMAS 2024 ·

    Wojciech Jamroga

    DBLP profile ↗ORCID search ↗
11. Verification of General Games with Imperfect Information Using Strategy Logic
    KR 2024 ·

    Yifan He

    DBLP profile ↗ORCID search ↗
12. Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
    AAMAS 2024 ·

    Francesco Belardinelli

    DBLP profile ↗ORCID search ↗