Natural strategic ability W Jamroga, V Malvone, A Murano Artificial Intelligence 277, 103170, 2019 | 36 | 2019 |
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 | 35 | 2019 |
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. B Aminof, V Malvone, A Murano, S Rubin AAMAS 16, 698-706, 2016 | 32 | 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 | 28 | 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 | 27 | 2022 |
Natural strategic ability under imperfect information W Jamroga, V Malvone, A Murano 18th International Conference on Autonomous Agents and Multiagent Systems …, 2019 | 25 | 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 |
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 | 19 | 2022 |
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 | 19 | 2022 |
Towards the verification of strategic properties in multi-agent systems with imperfect information A Ferrando, V Malvone arXiv preprint arXiv:2112.13621, 2021 | 19 | 2021 |
Reasoning about natural strategic ability W Jamroga, V Malvone, A Murano Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 19 | 2017 |
Games with additional winning strategies. V Malvone, A Murano, L Sorrentino CILC 15, 1-6, 2015 | 19 | 2015 |
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 |
Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018 | 16 | 2018 |
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 | 14 | 2020 |
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 |
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall A Ferrando, V Malvone | 12 | 2021 |