| 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 | 29 | 2022 |
| Strategic Reasoning in Automated Mechanism Design B Maubert, M Mittelmann, A Murano, L Perrussel KR, 487-496, 2021 | 29 | 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 |
| Strategic abilities of forgetful agents in stochastic environments F Belardinelli, W Jamroga, M Mittelmann, A Murano arXiv preprint arXiv:2310.17240, 2023 | 20 | 2023 |
| 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 | 15 | 2024 |
| 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 | 13 | 2023 |
| Auction description language (ADL): General framework for representing auction-based markets M Mittelmann, L Perrussel 24th European Conference on Artificial Intelligence (ECAI 2020) 325, 825-832, 2020 | 13 | 2020 |
| Representing and reasoning about auctions M Mittelmann, S Bouveret, L Perrussel Autonomous Agents and Multi-Agent Systems 36 (1), 20, 2022 | 11 | 2022 |
| 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 | 11 | 2021 |
| 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 | 8 | 2024 |
| 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 | 5 | 2017 |
| Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems R Galimullin, M Gladyshev, M Mittelmann, N Motamed arXiv preprint arXiv:2502.11785, 2025 | 4 | 2025 |
| 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 | 4 | 2023 |
| Game description logic with integers: A GDL numerical extension M Mittelmann, L Perrussel International symposium on foundations of information and knowledge systems …, 2020 | 4 | 2020 |
| An Epistemic Logic for Reasoning about Strategies in General Auctions M Mittelmann, L Perrussel ICLP Workshops, 2020 | 3 | 2020 |
| Formal verification and synthesis of mechanisms for social choice M Mittelmann, B Maubert, A Murano, L Perrussel Artificial Intelligence 339, 104272, 2025 | 2 | 2025 |
| Incentive design for rational agents D Hyland, M Mittelmann, A Murano, G Perelli, M Wooldridge International Joint Conferences on Artificial Intelligence, 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 |
| Discounting in strategy logic M Mittelmann, A Murano, L Perrussel arXiv preprint arXiv:2305.15256, 2023 | 2 | 2023 |
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
