PPaperPicks

Munyque Mittelmann

12 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAMAS ×5KR ×5AAAI ×2

Frequent coauthors

Aniello Murano
×7
Rustam Galimullin
×3
Yifan He
×2
Abdallah Saffidine
×2
Michael Thielscher
×2
Raphaël Berthon
×2
Joost-Pieter Katoen
×2
Giuseppe Perelli
×2
Wojtek Jamroga
×2
Laurent Perrussel
×1
Hermine Grosinger
×1
David Carral
×1

Papers

  1. Formal Verification of Diffusion Auctions
    AAAI 2026 ·
    Rustam Galimullin
    , Munyque Mittelmann,
    Laurent Perrussel
  2. I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
    KR 2026 ·
    Rustam Galimullin
    ,
    Hermine Grosinger
    , Munyque Mittelmann
  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
    , Munyque Mittelmann
  4. Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
    AAMAS 2025 ·
    Rustam Galimullin
    ,
    Maksim Gladyshev
    , Munyque Mittelmann,
    Nima Motamed
  5. Rational Capability in Concurrent Games
    AAMAS 2025 ·
    Yinfeng Li
    ,
    Emiliano Lorini
    , Munyque Mittelmann
  6. Repairing General Game Descriptions
    KR 2025 ·
    Yifan He
    , Munyque Mittelmann,
    Aniello Murano
    ,
    Abdallah Saffidine
    ,
    Michael Thielscher
  7. Robust Strategies for Stochastic Multi-Agent Systems
    AAMAS 2025 ·
    Raphaël Berthon
    ,
    Joost-Pieter Katoen
    , Munyque Mittelmann,
    Aniello Murano
  8. Incentive Design for Rational Agents
    KR 2024 ·
    David Hyland
    , Munyque Mittelmann,
    Aniello Murano
    ,
    Giuseppe Perelli
    ,
    Michael J. Wooldridge
  9. Natural Strategic Ability in Stochastic Multi-Agent Systems
    AAAI 2024 ·
    Raphaël Berthon
    ,
    Joost-Pieter Katoen
    , Munyque Mittelmann,
    Aniello Murano
  10. Playing Quantitative Games Against an Authority: On the Module Checking Problem
    AAMAS 2024 ·
    Wojciech Jamroga
    , Munyque Mittelmann,
    Aniello Murano
    ,
    Giuseppe Perelli
  11. Verification of General Games with Imperfect Information Using Strategy Logic
    KR 2024 ·
    Yifan He
    , Munyque Mittelmann,
    Aniello Murano
    ,
    Abdallah Saffidine
    ,
    Michael Thielscher
  12. Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
    AAMAS 2024 ·
    Francesco Belardinelli
    ,
    Wojtek Jamroga
    , Munyque Mittelmann,
    Aniello Murano