| Graded modalities in strategy logic B Aminof, V Malvone, A Murano, S Rubin Information and Computation 261, 634-649, 2018 | 36 | 2018 |
| Strategy logic with simple goals: Tractable reasoning about strategies F Belardinelli, W Jamroga, V Malvone, A Murano 28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019 | 34 | 2019 |
| Natural strategic ability W Jamroga, V Malvone, A Murano Artificial Intelligence 277, 103170, 2019 | 30 | 2019 |
| Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. B Aminof, V Malvone, A Murano, S Rubin AAMAS 16, 698-706, 2016 | 30 | 2016 |
| An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information F Belardinelli, A Lomuscio, V Malvone Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6030-6037, 2019 | 29 | 2019 |
| An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information F Belardinelli, A Ferrando, V Malvone Artificial Intelligence 316, 103847, 2023 | 24 | 2023 |
| Approximating perfect recall when model checking strategic abilities: Theory and applications F Belardinelli, A Lomuscio, V Malvone, E Yu Journal of Artificial Intelligence Research 73, 897-932, 2022 | 24 | 2022 |
| Natural strategic ability under imperfect information W Jamroga, V Malvone, A Murano 18th International Conference on Autonomous Agents and Multiagent Systems …, 2019 | 22 | 2019 |
| Approximating perfect recall when model checking strategic abilities F Belardinelli, A Lomuscio, V Malvone Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 22 | 2018 |
| Games with additional winning strategies. V Malvone, A Murano, L Sorrentino CILC 15, 1-6, 2015 | 19 | 2015 |
| Reasoning about natural strategic ability W Jamroga, V Malvone, A Murano Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 18 | 2017 |
| Towards the verification of strategic properties in multi-agent systems with imperfect information A Ferrando, V Malvone arXiv preprint arXiv:2112.13621, 2021 | 17 | 2021 |
| A three-valued approach to strategic abilities under imperfect information F Belardinelli, V Malvone 17th International Conference on Principles of Knowledge Representation and …, 2020 | 17 | 2020 |
| Towards the combination of model checking and runtime verification on multi-agent systems A Ferrando, V Malvone International Conference on Practical Applications of Agents and Multi-Agent …, 2022 | 16 | 2022 |
| Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018 | 16 | 2018 |
| Hiding actions in multi-player games V Malvone, A Murano, L Sorrentino Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 14 | 2017 |
| Concurrent Multi-Player Parity Games. V Malvone, A Murano, L Sorrentino AAMAS 16, 689-697, 2016 | 14 | 2016 |
| Reasoning about human-friendly strategies in repeated keyword auctions F Belardinelli, W Jamroga, V Malvone, M Mittelmann, A Murano, ... arXiv preprint arXiv:2201.09616, 2022 | 13 | 2022 |
| Natural strategic abilities in voting protocols W Jamroga, D Kurpiewski, V Malvone International Workshop on Socio-Technical Aspects in Security and Trust, 45-62, 2020 | 13 | 2020 |
| Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall A Ferrando, V Malvone | 12 | 2021 |
