A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering. - Munyque Mittelmann; Jerusa Marchi; Aldo von Wangenheim (ICAISC (1), 2019)

Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents. - Munyque Mittelmann; Jerusa Marchi; Aldo von Wangenheim (RITA, 2019)

Auction Description Language (ADL): General Framework for Representing Auction-Based Markets. - Munyque Mittelmann; Laurent Perrussel (ECAI, 2020)

Game Description Logic with Integers: A GDL Numerical Extension. - Munyque Mittelmann; Laurent Perrussel (FoIKS, 2020)

An Epistemic Logic for Reasoning about Strategies in General Auctions. - Munyque Mittelmann; Laurent Perrussel (ICLP Workshops, 2020)

A General Framework for the Logical Representation of Combinatorial Exchange Protocols. - Munyque Mittelmann; Sylvain Bouveret; Laurent Perrussel (AAMAS, 2021)

Epistemic Reasoning About Rationality and Bids in Auctions. - Munyque Mittelmann; Andreas Herzig; Laurent Perrussel (JELIA, 2021)

Strategic Reasoning in Automated Mechanism Design. - Bastien Maubert; Munyque Mittelmann; Aniello Murano; Laurent Perrussel (KR, 2021)

Formally Reasoning about Strategies in Mechanisms. - Munyque Mittelmann (OVERLAY@AI*IA, 2022)

Logics for Reasoning about Auctions (Short Paper). - Munyque Mittelmann (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. - Francesco Belardinelli; Wojtek Jamroga; Vadim Malvone; Munyque Mittelmann; Aniello Murano; Laurent Perrussel (AAMAS, 2022)

Synthesis of Mechanisms with Strategy Logic. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (ICTCS, 2022)

Automated Synthesis of Mechanisms. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (IJCAI, 2022)

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

Formal Verification of Bayesian Mechanisms. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (AAAI, 2023)

Representing and Reasoning about Auctions. - Munyque Mittelmann; Laurent Perrussel; Sylvain Bouveret (AAMAS, 2023)

Multi-Agent Parking Problem with Sequential Allocation. - Aniello Murano; Silvia Stranieri; Munyque Mittelmann (ICAART (3), 2023)

Discounting in Strategy Logic. - Munyque Mittelmann; Aniello Murano; Laurent Perrussel (IJCAI, 2023)

Strategic Abilities of Forgetful Agents in Stochastic Environments. - Francesco Belardinelli; Wojciech Jamroga; Munyque Mittelmann; Aniello Murano (KR, 2023)

Parking Problem with Multiple Gates. - Francesco Noviello; Munyque Mittelmann; Aniello Murano; Silvia Stranieri (PAAMS, 2023)

Natural Strategic Ability in Stochastic Multi-Agent Systems. - Raphaël Berthon; Joost-Pieter Katoen; Munyque Mittelmann; Aniello Murano (AAAI, 2024)

Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. - Francesco Belardinelli; Wojtek Jamroga; Munyque Mittelmann; Aniello Murano (AAMAS, 2024)

Playing Quantitative Games Against an Authority: On the Module Checking Problem. - Wojciech Jamroga; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli (AAMAS, 2024)

Verification of General Games with Imperfect Information Using Strategy Logic. - Yifan He 008; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher (KR, 2024)

Incentive Design for Rational Agents. - David Hyland; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli; Michael J. Wooldridge (KR, 2024)

Robust Strategies for Stochastic Multi-Agent Systems. - Raphaël Berthon; Joost-Pieter Katoen; Munyque Mittelmann; Aniello Murano (AAMAS, 2025)

Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems. - Rustam Galimullin; Maksim Gladyshev; Munyque Mittelmann; Nima Motamed (AAMAS, 2025)

Rational Capability in Concurrent Games. - Yinfeng Li; Emiliano Lorini; Munyque Mittelmann (AAMAS, 2025)

Formal verification and synthesis of mechanisms for social choice. - Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel (Artif. Intell., 2025)

Inquisitive Team Semantics of LTL. - Laura Bozzelli; Tadeusz Litak; Munyque Mittelmann; Aniello Murano (CoRR, 2025)

Repairing General Game Descriptions (extended version). - Yifan He 008; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher (CoRR, 2025)