Strategic reasoning in automated mechanism design B Maubert, M Mittelmann, A Murano, L Perrussel Proceedings of the International Conference on Principles of Knowledge …, 2021 | 21 | 2021 |
Automated synthesis of mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel 31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022 | 18 | 2022 |
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions F Belardinelli, W Jamroga, V Malvone, M Mittelmann, A Murano, ... 21st International Conference on Autonomous Agents and Multiagent Systems …, 2022 | 13 | 2022 |
Auction description language (ADL): General framework for representing auction-based markets M Mittelmann, L Perrussel ECAI 2020, 825-832, 2020 | 9 | 2020 |
Formal verification of bayesian mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11621 …, 2023 | 6 | 2023 |
A general framework for the logical representation of combinatorial exchange protocols M Mittelmann, S Bouveret, L Perrussel AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent …, 2021 | 6 | 2021 |
Representing and reasoning about auctions M Mittelmann, S Bouveret, L Perrussel Autonomous Agents and Multi-Agent Systems 36 (1), 20, 2022 | 4 | 2022 |
Strategic abilities of forgetful agents in stochastic environments F Belardinelli, W Jamroga, M Mittelmann, A Murano arXiv preprint arXiv:2310.17240, 2023 | 3 | 2023 |
Game description logic with integers: A GDL numerical extension M Mittelmann, L Perrussel Foundations of Information and Knowledge Systems: 11th International …, 2020 | 3 | 2020 |
Previsão de Casos de Dengue em Guarulhos com Redes Neurais Artificiais Multicamadas e Recorrentes M Mittelmann, DG Soares Revista de Informática Aplicada 13 (2), 2017 | 3 | 2017 |
Parking problem with multiple gates F Noviello, M Mittelmann, A Murano, S Stranieri International Conference on Practical Applications of Agents and Multi-Agent …, 2023 | 2 | 2023 |
Multi-Agent Parking Problem with Sequential Allocation. A Murano, S Stranieri, M Mittelmann ICAART (3), 484-492, 2023 | 2 | 2023 |
An Epistemic Logic for Reasoning about Strategies in General Auctions M Mittelmann, L Perrussel ICLP Workshops, 2020 | 2 | 2020 |
A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering M Mittelmann, J Marchi, A von Wangenheim Artificial Intelligence and Soft Computing: 18th International Conference …, 2019 | 2 | 2019 |
Natural Strategic Ability in Stochastic Multi-Agent Systems R Berthon, JP Katoen, M Mittelmann, A Murano Proceedings of the AAAI Conference on Artificial Intelligence 38 (16), 17308 …, 2024 | 1 | 2024 |
Verification of Bayesian Mechanisms with Strategy Logic M Mittelmann, B Maubert, A Murano, L Perrussel Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA …, 2023 | 1 | 2023 |
Formally Reasoning about Strategies in Mechanisms. M Mittelmann OVERLAY@ AI* IA 3311, 21-26, 2022 | 1 | 2022 |
Logics for Representation and Design of Auctions M Mittelmann Universitè de Toulouse, 2022 | 1 | 2022 |
Epistemic Reasoning About Rationality and Bids in Auctions M Mittelmann, A Herzig, L Perrussel European Conference on Logics in Artificial Intelligence, 116-130, 2021 | 1 | 2021 |
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies F Belardinelli, W Jamroga, M Mittelmann, A Murano Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | | 2024 |