Fabio Mogavero
Fabio Mogavero
UniversitÓ degli Studi di Napoli Federico II
Verified email at fabiomogavero.com - Homepage
Title
Cited by
Cited by
Year
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
238*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
822012
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
742014
Graded computation tree logic
A Bianco, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012
512012
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
322013
On promptness in parity games
F Mogavero, A Murano, L Sorrentino
Fundamenta Informaticae 139 (3), 277-305, 2015
292015
Reasoning about strategies: on the satisfiability problem
F Mogavero, A Murano, G Perelli, MY Vardi
arXiv preprint arXiv:1611.08541, 2016
272016
Synthesis of hierarchical systems
B Aminof, F Mogavero, A Murano
Science of Computer Programming 83, 56-79, 2014
272014
A behavioral hierarchy of strategy logic
F Mogavero, A Murano, L Sauro
International Workshop on Computational Logic and Multi-Agent Systems, 148-165, 2014
222014
Solving parity games via priority promotion
M Benerecetti, D Dell’Erba, F Mogavero
Formal Methods in System Design 52 (2), 193-226, 2018
212018
Graded computation tree logic with binary coding
A Bianco, F Mogavero, A Murano
International Workshop on Computer Science Logic, 125-139, 2010
152010
Comparing Rule-Based Policies
PA Bonatti, F Mogavero
Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEEá…, 2008
152008
Strategy games: a renewed framework
F Mogavero, A Murano, L Sauro
Proceedings of the 2014 international conference on Autonomous agents andá…, 2014
142014
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
132018
Substructure temporal logic
M Benerecetti, F Mogavero, A Murano
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 368-377, 2013
122013
A decidable fragment of strategy logic
F Mogavero, A Murano, G Perelli, MY Vardi
arXiv preprint arXiv:1202.1309, 2012
122012
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
112018
On the counting of strategies
V Malvone, F Mogavero, A Murano, L Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoningá…, 2015
112015
Improving priority promotion for parity games
M Benerecetti, D Dell’Erba, F Mogavero
Haifa Verification Conference, 117-133, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20