| Reasoning about strategies: On the model-checking problem F Mogavero, A Murano, G Perelli, MY Vardi ACM Transactions on Computational Logic (TOCL) 15 (4), 1-47, 2014 | 265* | 2014 |
| MCMAS-SLK: A model checker for the verification of strategy logic specifications P Čermák, A Lomuscio, F Mogavero, A Murano International Conference on Computer Aided Verification, 525-532, 2014 | 84 | 2014 |
| What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic F Mogavero, A Murano, G Perelli, MY Vardi International Conference on Concurrency Theory, 193-208, 2012 | 82 | 2012 |
| Graded computation tree logic A Bianco, F Mogavero, A Murano ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012 | 52 | 2012 |
| Relentful strategic reasoning in alternating-time temporal logic F Mogavero, A Murano, MY Vardi International Conference on Logic for Programming Artificial Intelligence …, 2010 | 37* | 2010 |
| On the boundary of behavioral strategies F Mogavero, A Murano, L Sauro 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 263-272, 2013 | 33 | 2013 |
| On promptness in parity games F Mogavero, A Murano, L Sorrentino Fundamenta Informaticae 139 (3), 277-305, 2015 | 32 | 2015 |
| Synthesis of hierarchical systems B Aminof, F Mogavero, A Murano Science of Computer Programming 83, 56-79, 2014 | 31 | 2014 |
| Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi arXiv preprint arXiv:1611.08541, 2016 | 30 | 2016 |
| Solving parity games via priority promotion M Benerecetti, D Dell’Erba, F Mogavero Formal Methods in System Design 52 (2), 193-226, 2018 | 25 | 2018 |
| A behavioral hierarchy of strategy logic F Mogavero, A Murano, L Sauro International Workshop on Computational Logic and Multi-Agent Systems, 148-165, 2014 | 22 | 2014 |
| Practical verification of multi-agent systems against SLK specifications P Čermák, A Lomuscio, F Mogavero, A Murano Information and Computation 261, 588-614, 2018 | 19 | 2018 |
| Graded computation tree logic with binary coding A Bianco, F Mogavero, A Murano International Workshop on Computer Science Logic, 125-139, 2010 | 16 | 2010 |
| Comparing Rule-Based Policies PA Bonatti, F Mogavero Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE …, 2008 | 15 | 2008 |
| Strategy games: a renewed framework F Mogavero, A Murano, L Sauro Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 14 | 2014 |
| Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018 | 12 | 2018 |
| Substructure temporal logic M Benerecetti, F Mogavero, A Murano 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 368-377, 2013 | 12 | 2013 |
| A decidable fragment of strategy logic F Mogavero, A Murano, G Perelli, MY Vardi arXiv preprint arXiv:1202.1309, 2012 | 12 | 2012 |
| 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 |
| Improving priority promotion for parity games M Benerecetti, D Dell’Erba, F Mogavero Haifa Verification Conference, 117-133, 2016 | 10 | 2016 |
Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at na.infn.it
