Fabio Mogavero

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 39

Top Venues

CoRR

Inf. Comput.

GandALF

ACM Trans. Comput. Log.

University of Naples Federico II, Italy (PHD)

Education History

University of Naples Federico II, Italy

PHD

Publications

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. CoRR (2024)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. ICALP (2024)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving mean-payoff games via quasi dominions. Inf. Comput. 297 (2024)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. CoRR (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. Ann. Pure Appl. Log. 174 (10) (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log. 24 (1) (2023)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Quantifying over Trees in Monadic Second-Order Logic. CoRR (2023)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
Taming Strategy Logic: Non-Recurrent Fragments. Inf. Comput. 294 (2023)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Quantifying Over Trees in Monadic Second-Order Logic. LICS (2023)
Paolo Pareti, George Konstantinidis, Fabio Mogavero
Satisfiability and containment of recursive SHACL. J. Web Semant. 74 (2022)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
Taming Strategy Logic: Non-Recurrent Fragments. TIME (2022)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. CoRR (2021)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. QUATIC (2021)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
Priority Promotion with Parysian Flair. CoRR (2021)
Paolo Pareti, George Konstantinidis, Fabio Mogavero
Satisfiability and Containment of Recursive SHACL. CoRR (2021)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Robust worst cases for parity games algorithms. Inf. Comput. 272 (2020)
Paolo Pareti, George Konstantinidis, Fabio Mogavero, Timothy J. Norman
SHACL Satisfiability and Containment (Extended Paper). CoRR (2020)
Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero
From Quasi-Dominions to Progress Measures. CoRR (2020)
Paolo Pareti, George Konstantinidis, Fabio Mogavero, Timothy J. Norman
SHACL Satisfiability and Containment. ISWC (1) (2020)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving Mean-Payoff Games via Quasi Dominions. TACAS (2) (2020)
Ruggero Lanotte, Massimo Merro, Fabio Mogavero
On the decidability of linear bounded periodic cyber-physical systems. HSCC (2019)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving Mean-Payoff Games via Quasi Dominions. CoRR (2019)
Erman Acar, Massimo Benerecetti, Fabio Mogavero
Satisfiability in Strategy Logic Can Be Easier than Model Checking. AAAI (2019)
George Konstantinidis, Fabio Mogavero
Attacking Diophantus: Solving a Special Case of Bag Containment. PODS (2019)
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
Reasoning about graded strategy quantifiers. Inf. Comput. 259 (3) (2018)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving parity games via priority promotion. Formal Methods Syst. Des. 52 (2) (2018)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
Practical verification of multi-agent systems against Slk specifications. Inf. Comput. 261 (2018)
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Cycle detection in computation tree logic. Inf. Comput. 262 (2018)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
A delayed promotion policy for parity games. Inf. Comput. 262 (2018)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games. GandALF (2017)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. 13 (1) (2017)
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Preface to the Special Issue on SR 2014. Inf. Comput. 254 (2017)
Simone Bova, Fabio Mogavero
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. LICS (2017)
Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura
Reformulating Queries: Theory and Practice. IJCAI (2017)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving Parity Games via Priority Promotion. CAV (2) (2016)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Improving Priority Promotion for Parity Games. Haifa Verification Conference (2016)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
A Delayed Promotion Policy for Parity Games. GandALF (2016)
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. 26 (5) (2016)
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Cycle Detection in Computation Tree Logic. GandALF (2016)
Massimo Benerecetti, Fabio Mogavero, Aniello Murano
Reasoning About Substructures and Games. ACM Trans. Comput. Log. 16 (3) (2015)
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Special issue on SR 2013. Inf. Comput. 242 (2015)
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
On the Counting of Strategies. TIME (2015)
Fabio Mogavero, Aniello Murano, Loredana Sorrentino
On Promptness in Parity Games. Fundam. Informaticae 139 (3) (2015)
Fabio Mogavero, Giuseppe Perelli
Binding Forms in First-Order Logic. CSL (2015)
Fabio Mogavero, Giuseppe Perelli
On the Remarkable Features of Binding Forms. CoRR (2014)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15 (4) (2014)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR (2014)
Fabio Mogavero, Aniello Murano, Luigi Sauro
A Behavioral Hierarchy of Strategy Logic. CLIMA (2014)
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV (2014)
Benjamin Aminof, Fabio Mogavero, Aniello Murano
Synthesis of hierarchical systems. Sci. Comput. Program. 83 (2014)
Fabio Mogavero, Aniello Murano, Luigi Sauro
Strategy games: a renewed framework. AAMAS (2014)
Fabio Mogavero, Aniello Murano, Loredana Sorrentino
On Promptness in Parity Games. LPAR (2013)
Fabio Mogavero, Aniello Murano, Luigi Sauro
On the Boundary of Behavioral Strategies. LICS (2013)
Massimo Benerecetti, Fabio Mogavero, Aniello Murano
Substructure Temporal Logic. LICS (2013)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
A Decidable Fragment of Strategy Logic CoRR (2012)
Alessandro Bianco, Fabio Mogavero, Aniello Murano
Graded computation tree logic. ACM Trans. Comput. Log. 13 (3) (2012)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR (2012)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Quantitatively fair scheduling. Theor. Comput. Sci. 413 (1) (2012)
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Reasoning About Strategies: On the Model-Checking Problem CoRR (2011)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62 (1-2) (2011)
Benjamin Aminof, Fabio Mogavero, Aniello Murano
Synthesis of Hierarchical Systems. FACS (2011)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Exploring the Boundary of Half Positionality. CLIMA (2010)
Alessandro Bianco, Fabio Mogavero, Aniello Murano
Graded Computation Tree Logic with Binary Coding. CSL (2010)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Quantitative Fairness Games QAPL (2010)
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Reasoning About Strategies. FSTTCS (2010)
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) (2010)
Fabio Mogavero, Aniello Murano
Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory (2009)
Alessandro Bianco, Fabio Mogavero, Aniello Murano
Graded Computation Tree Logic. LICS (2009)
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
Balanced Paths in Colored Graphs. MFCS (2009)
Piero A. Bonatti, Fabio Mogavero
Comparing Rule-Based Policies. POLICY (2008)

Fabio Mogavero.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabio Mogavero