publications

2026

  1. AAAI
    Formal Verification of Diffusion Auctions
    Rustam Galimullin, Munyque Mittelmann, and Laurent Perrussel
    In Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026, 2026
    DOI
  2. FoSSaCS
    Inquisitive Team Semantics of LTL
    Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, and Aniello Murano
    In Foundations of Software Science and Computation Structures - 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, 2026
    DOI
  3. AAMAS
    On Angels and Demons: Strategic (De)Construction of Dynamic Models
    Davide Catta, Rustam Galimullin, and Munyque Mittelmann
    In Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2026, Paphos, Cyprus, May 25-29, 2026, 2026
    DOI
  4. AAMAS
    Verification of Robust Multi-Agent Systems
    Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, and Aniello Murano
    In Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2026, Paphos, Cyprus, May 25-29, 2026, 2026
    DOI
  5. AAMAS
    The Dynamic Turn in Strategy Logics
    Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann, and Nima Motamed
    In Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2026, Paphos, Cyprus, May 25-29, 2026, 2026
    Best Paper Runner-up DOI
  6. KR
    I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
    Rustam Galimullin, Hermine Grosinger, and Munyque Mittelmann
    In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026, Lisbon, Portugal, July 20-23, 2026, 2026
    DOI
  7. KR-DC
    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
    2026

2025

  1. AIJ
    Formal verification and synthesis of mechanisms for social choice
    Munyque Mittelmann, Bastien Maubert, Aniello Murano, and Laurent Perrussel
    Artif. Intell., 2025
    DOI
  2. AAMAS
    Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
    Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann, and Nima Motamed
    In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025, 2025
    DOI
  3. AAMAS
    Rational Capability in Concurrent Games
    Yinfeng Li, Emiliano Lorini, and Munyque Mittelmann
    In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025, 2025
    DOI
  4. AAMAS
    Robust Strategies for Stochastic Multi-Agent Systems
    Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, and Aniello Murano
    In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025, 2025
    DOI
  5. KR
    Repairing General Game Descriptions
    Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, and Michael Thielscher
    In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 11-17, 2025, 2025
    DOI

2024

  1. AAAI
    Natural Strategic Ability in Stochastic Multi-Agent Systems
    Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, and Aniello Murano
    In Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2024, February 20-27, 2024, Vancouver, Canada, 2024
    DOI
  2. AAMAS
    Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
    Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, and Aniello Murano
    In Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, 2024
    DOI
  3. AAMAS
    Playing Quantitative Games Against an Authority: On the Module Checking Problem
    Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, and Giuseppe Perelli
    In Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, 2024
    DOI
  4. KR
    Verification of General Games with Imperfect Information Using Strategy Logic
    Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, and Michael Thielscher
    In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024, 2024
    DOI
  5. KR
    Incentive Design for Rational Agents
    David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, and Michael J. Wooldridge
    In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024, 2024
    DOI
  6. SPIRIT
    Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy
    2024

2023

  1. AAAI
    Formal Verification of Bayesian Mechanisms
    Munyque Mittelmann, Bastien Maubert, Aniello Murano, and Laurent Perrussel
    In Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, 2023
    DOI
  2. AAMAS
    Representing and Reasoning about Auctions
    Munyque Mittelmann, Laurent Perrussel, and Sylvain Bouveret
    In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, 2023
    DOI
  3. ICAART
    Multi-Agent Parking Problem with Sequential Allocation
    Aniello Murano, Silvia Stranieri, and Munyque Mittelmann
    In Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 3, Lisbon, Portugal, February 22-24, 2023, 2023
    DOI
  4. IJCAI
    Discounting in Strategy Logic
    Munyque Mittelmann, Aniello Murano, and Laurent Perrussel
    In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, 2023
    DOI
  5. KR
    Strategic Abilities of Forgetful Agents in Stochastic Environments
    Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, and Aniello Murano
    In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, 2023
    DOI
  6. PAAMS
    Parking Problem with Multiple Gates
    Francesco Noviello, Munyque Mittelmann, Aniello Murano, and Silvia Stranieri
    In Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection - 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings, 2023
    DOI

2022

  1. Thesis
    Logics for Representation and Design of Auctions. (Logiques pour la représentation et la conception d’enchères)
    Munyque Mittelmann
    Toulouse 1 University Capitole, France, 2022
    Best Thesis Award
  2. JAAMAS
    Representing and reasoning about auctions
    Munyque Mittelmann, Sylvain Bouveret, and Laurent Perrussel
    Auton. Agents Multi Agent Syst., 2022
    DOI
  3. AAMAS
    Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
    Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, and Laurent Perrussel
    In 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022, 2022
    DOI
  4. IJCAI
    Automated Synthesis of Mechanisms
    Munyque Mittelmann, Bastien Maubert, Aniello Murano, and Laurent Perrussel
    In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, 2022
    DOI

2021

  1. AAMAS
    A General Framework for the Logical Representation of Combinatorial Exchange Protocols
    Munyque Mittelmann, Sylvain Bouveret, and Laurent Perrussel
    In AAMAS ’21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021, 2021
    DOI
  2. JELIA
    Epistemic Reasoning About Rationality and Bids in Auctions
    Munyque Mittelmann, Andreas Herzig, and Laurent Perrussel
    In Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings, 2021
    DOI
  3. KR
    Strategic Reasoning in Automated Mechanism Design
    Bastien Maubert, Munyque Mittelmann, Aniello Murano, and Laurent Perrussel
    In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021, 2021
    DOI

2020

  1. ECAI
    Auction Description Language (ADL): General Framework for Representing Auction-Based Markets
    Munyque Mittelmann and Laurent Perrussel
    In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), 2020
    DOI
  2. FoIKS
    Game Description Logic with Integers: A GDL Numerical Extension
    Munyque Mittelmann and Laurent Perrussel
    In Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, 2020
    DOI

2019

  1. RITA
    Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents
    Munyque Mittelmann, Jerusa Marchi, and Aldo Wangenheim
    RITA, 2019
    DOI
  2. ICAISC
    A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering
    Munyque Mittelmann, Jerusa Marchi, and Aldo Wangenheim
    In Artificial Intelligence and Soft Computing - 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019, Proceedings, Part I, 2019
    DOI