| Strategic Reasoning in Automated Mechanism Design. B Maubert, M Mittelmann, A Murano, L Perrussel KR, 487-496, 2021 | 28 | 2021 |
| Automated synthesis of mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel 31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022 | 25 | 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 | 25 | 2022 |
| 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 | 11 | 2023 |
| Auction description language (ADL): General framework for representing auction-based markets M Mittelmann, L Perrussel ECAI 2020, 825-832, 2020 | 10 | 2020 |
| Strategic abilities of forgetful agents in stochastic environments F Belardinelli, W Jamroga, M Mittelmann, A Murano arXiv preprint arXiv:2310.17240, 2023 | 9 | 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 | 9 | 2021 |
| Representing and reasoning about auctions M Mittelmann, S Bouveret, L Perrussel Autonomous Agents and Multi-Agent Systems 36 (1), 20, 2022 | 8 | 2022 |
| 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 | 4 | 2024 |
| Playing quantitative games against an authority: on the module checking problem W Jamroga, M Mittelmann, A Murano, G Perelli PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND …, 2024 | 4 | 2024 |
| Multi-Agent Parking Problem with Sequential Allocation. A Murano, S Stranieri, M Mittelmann ICAART (3), 484-492, 2023 | 3 | 2023 |
| An Epistemic Logic for Reasoning about Strategies in General Auctions M Mittelmann, L Perrussel ICLP Workshops, 2020 | 3 | 2020 |
| 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 |
| Incentive design for rational agents D Hyland, M Mittelmann, A Murano, G Perelli, M Wooldridge Proceedings of the International Conference on Principles of Knowledge …, 2024 | 2 | 2024 |
| 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 |
| 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 |
| Discounting in strategy logic M Mittelmann, A Murano, L Perrussel arXiv preprint arXiv:2305.15256, 2023 | 1 | 2023 |
| 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 |
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it