关注
Fabio Mogavero
Fabio Mogavero
Università degli Studi di Napoli Federico II
在 fabiomogavero.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
365*2014
MCMAS-SLK: A model checker for the verification of strategy logic specifications
P Čermák, A Lomuscio, F Mogavero, A Murano
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1102014
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
F Mogavero, A Murano, G Perelli, MY Vardi
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
932012
Graded computation tree logic
A Bianco, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012
552012
Reasoning about strategies: on the satisfiability problem
F Mogavero, A Murano, G Perelli, MY Vardi
Logical Methods in Computer Science 13, 2017
512017
Synthesis of hierarchical systems
B Aminof, F Mogavero, A Murano
Science of Computer Programming 83, 56-79, 2014
382014
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
372013
Relentful strategic reasoning in alternating-time temporal logic
F Mogavero, A Murano, MY Vardi
Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010
37*2010
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
342018
Solving parity games via priority promotion
M Benerecetti, D Dell’Erba, F Mogavero
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
322016
On promptness in parity games
F Mogavero, A Murano, L Sorrentino
Fundamenta Informaticae 139 (3), 277-305, 2015
312015
Solving parity games via priority promotion
M Benerecetti, D Dell’Erba, F Mogavero
Formal Methods in System Design 52, 193-226, 2018
262018
SHACL satisfiability and containment
P Pareti, G Konstantinidis, F Mogavero, TJ Norman
The Semantic Web–ISWC 2020: 19th International Semantic Web Conference …, 2020
222020
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
Improving priority promotion for parity games
M Benerecetti, D Dell’Erba, F Mogavero
Haifa Verification Conference, 117-133, 2016
202016
Substructure temporal logic
M Benerecetti, F Mogavero, A Murano
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 368-377, 2013
182013
Comparing Rule-Based Policies
PA Bonatti, F Mogavero
Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE …, 2008
172008
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
162018
Graded computation tree logic with binary coding
A Bianco, F Mogavero, A Murano
International Workshop on Computer Science Logic, 125-139, 2010
162010
Reasoning about substructures and games
M Benerecetti, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 16 (3), 1-51, 2015
142015
系统目前无法执行此操作，请稍后再试。
文章 1–20