Munyque Mittelmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
10
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Formal Verification of Diffusion Auctions. | Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel |
| 2026 | FOSSACS | Inquisitive Team Semantics of LTL. | Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano |
| 2026 | KR | I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems. | Rustam Galimullin, Hermine Grosinger, Munyque Mittelmann |
| 2025 | KR | Repairing General Game Descriptions. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2024 | AAAI | Natural Strategic Ability in Stochastic Multi-Agent Systems. | Raphal Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano |
| 2024 | KR | Verification of General Games with Imperfect Information Using Strategy Logic. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2024 | KR | Incentive Design for Rational Agents. | David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge |
| 2023 | AAAI | Formal Verification of Bayesian Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2023 | ICAART | Multi-Agent Parking Problem with Sequential Allocation. | Aniello Murano, Silvia Stranieri, Munyque Mittelmann |
| 2023 | IJCAI | Discounting in Strategy Logic. | Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2023 | KR | Strategic Abilities of Forgetful Agents in Stochastic Environments. | Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano |
| 2023 | PAAMS | Parking Problem with Multiple Gates. | Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri |
| 2022 | IJCAI | Automated Synthesis of Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2021 | JELIA | Epistemic Reasoning About Rationality and Bids in Auctions. | Munyque Mittelmann, Andreas Herzig, Laurent Perrussel |
| 2021 | KR | Strategic Reasoning in Automated Mechanism Design. | Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2020 | ECAI | Auction Description Language (ADL): General Framework for Representing Auction-Based Markets. | Munyque Mittelmann, Laurent Perrussel |
| 2020 | ICLP | An Epistemic Logic for Reasoning about Strategies in General Auctions. | Munyque Mittelmann, Laurent Perrussel |
| 2019 | ICAISC | A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering. | Munyque Mittelmann, Jerusa Marchi, Aldo von Wangenheim |