| Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. B Aminof, V Malvone, A Murano, S Rubin AAMAS 16, 698-706, 2016 | 28 | 2016 |
| Graded modalities in strategy logic B Aminof, V Malvone, A Murano, S Rubin Information and Computation 261, 634-649, 2018 | 23 | 2018 |
| Natural strategic ability W Jamroga, V Malvone, A Murano Artificial Intelligence 277, 103170, 2019 | 19 | 2019 |
| Reasoning about natural strategic ability W Jamroga, V Malvone, A Murano Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 18 | 2017 |
| Games with additional winning strategies. V Malvone, A Murano, L Sorrentino CILC 15, 1-6, 2015 | 17 | 2015 |
| 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 | 16 | 2019 |
| 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 | 14 | 2019 |
| Approximating perfect recall when model checking strategic abilities F Belardinelli, A Lomuscio, V Malvone Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 14 | 2018 |
| Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018 | 12 | 2018 |
| Hiding actions in multi-player games V Malvone, A Murano, L Sorrentino Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 12 | 2017 |
| Concurrent multi-player parity games V Malvone, A Murano, L Sorrentino Proceedings of the 2016 International Conference on Autonomous Agents …, 2016 | 12 | 2016 |
| On the counting of strategies V Malvone, F Mogavero, A Murano, L Sorrentino 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 11 | 2015 |
| Natural strategic ability under imperfect information W Jamroga, V Malvone, A Murano Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 10 | 2019 |
| Natural strategic abilities in voting protocols W Jamroga, D Kurpiewski, V Malvone Socio-Technical Aspects in Security and Trust: 10th International Workshop …, 2021 | 7 | 2021 |
| Additional winning strategies in reachability games V Malvone, A Murano, L Sorrentino Fundamenta Informaticae 159 (1-2), 175-195, 2018 | 7 | 2018 |
| A three-valued approach to strategic abilities under imperfect information F Belardinelli, V Malvone 17th International Conference on Principles of Knowledge Representation and …, 2020 | 6 | 2020 |
| Verifying Strategic Abilities in Multi-agent Systems with Private-Data Sharing F Belardinelli, I Boureanu, C Dima, V Malvone Proc. of the 18th International Conference on Autonomous Agents and …, 2019 | 5 | 2019 |
| Hiding actions in concurrent games V Malvone, A Murano, L Sorrentino Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 5 | 2016 |
| Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall A Ferrando, V Malvone | 4 | 2021 |
| Extended graded modalities in strategy logic B Aminof, V Malvone, A Murano, S Rubin arXiv preprint arXiv:1607.03354, 2016 | 4 | 2016 |
