Munyque Mittelmann

According to our database, Munyque Mittelmann authored at least 23 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Playing Quantitative Games Against an Authority: On the Module Checking Problem.

Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Verification of Stochastic Multi-Agent Systems with Forgetful Strategies.

Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Natural Strategic Ability in Stochastic Multi-Agent Systems.

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Parking Problem with Multiple Gates.

Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

Strategic Abilities of Forgetful Agents in Stochastic Environments.

Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Discounting in Strategy Logic.

Munyque Mittelmann, Aniello Murano, Laurent Perrussel

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Multi-Agent Parking Problem with Sequential Allocation.

Aniello Murano, Silvia Stranieri, Munyque Mittelmann

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Formal Verification of Bayesian Mechanisms.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Logics for Representation and Design of Auctions. (Logiques pour la représentation et la conception d'enchères).

Munyque Mittelmann

PhD thesis, 2022

Representing and reasoning about auctions.

Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel

Auton. Agents Multi Agent Syst., 2022

Automated Synthesis of Mechanisms.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Synthesis of Mechanisms with Strategy Logic.

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions.

Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Logics for Reasoning about Auctions (Short Paper).

Munyque Mittelmann

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

Formally Reasoning about Strategies in Mechanisms.

Munyque Mittelmann

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

Strategic Reasoning in Automated Mechanism Design.

Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Epistemic Reasoning About Rationality and Bids in Auctions.

Munyque Mittelmann, Andreas Herzig, Laurent Perrussel

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

A General Framework for the Logical Representation of Combinatorial Exchange Protocols.

Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

An Epistemic Logic for Reasoning about Strategies in General Auctions.

Munyque Mittelmann, Laurent Perrussel

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Game Description Logic with Integers: A GDL Numerical Extension.

Munyque Mittelmann, Laurent Perrussel

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Auction Description Language (ADL): General Framework for Representing Auction-Based Markets.

Munyque Mittelmann, Laurent Perrussel

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents.

Munyque Mittelmann, Jerusa Marchi, Aldo von Wangenheim

RITA, 2019

A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering.

Munyque Mittelmann, Jerusa Marchi, Aldo von Wangenheim

Proceedings of the Artificial Intelligence and Soft Computing, 2019