Fabio Mogavero

83 papers A* 11A 2B 5C 5Misc 1Journal 37Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An Automaton-based Characterisation of First-Order Logic over Infinite Trees. GandALF Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis
2025	A	`conf`	Bag Containment of Join-On-Free Queries. ICDT George Konstantinidis, Fabio Mogavero
2025	A*	`conf`	Common Foundations for SHACL, ShEx, and PG-Schema. WWW Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025	J	`jnl`	Common Foundations for SHACL, ShEx, and PG-Schema. CoRR Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025	J	`jnl`	Priority Promotion with Parysian flair. J. Comput. Syst. Sci. Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2024	A*	`conf`	Automata-Theoretic Characterisations of Branching-Time Temporal Logics. ICALP Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024	J	`jnl`	Automata-Theoretic Characterisations of Branching-Time Temporal Logics. CoRR Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024	C	`conf`	Full Characterisation of Extended CTL. TIME Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024	C	`conf`	Model Checking Linear Temporal Properties on Polyhedral Systems. TIME Massimo Benerecetti, Marco Faella, Fabio Mogavero
2024	—	`conf`	Plan Logic. FSTTCS Dylan Bellier, Massimo Benerecetti, Fabio Mogavero, Sophie Pinchinat
2024	—	`ed.`	Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023. OVERLAY@AI*IA Andrea Brunello, Alessandro Gianola, Fabio Mogavero
2024	J	`jnl`	Solving mean-payoff games via quasi dominions. Inf. Comput. Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2023	J	`jnl`	Alternating (In)Dependence-Friendly Logic. Ann. Pure Appl. Log. Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2023	J	`jnl`	Alternating (In)Dependence-Friendly Logic. CoRR Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2023	J	`jnl`	Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log. Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2023	A*	`conf`	Quantifying Over Trees in Monadic Second-Order Logic. LICS Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2023	J	`jnl`	Quantifying over Trees in Monadic Second-Order Logic. CoRR Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2023	J	`jnl`	Taming Strategy Logic: Non-Recurrent Fragments. Inf. Comput. Massimo Benerecetti, Fabio Mogavero, Adriano Peron
2022	J	`jnl`	Satisfiability and containment of recursive SHACL. J. Web Semant. Paolo Pareti, George Konstantinidis, Fabio Mogavero
2022	C	`conf`	Taming Strategy Logic: Non-Recurrent Fragments. TIME Massimo Benerecetti, Fabio Mogavero, Adriano Peron
2021	Misc	`conf`	Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. QUATIC Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace
2021	J	`jnl`	Good-for-Game QPTL: An Alternating Hodges Semantics. CoRR Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
2021	J	`jnl`	Priority Promotion with Parysian Flair. CoRR Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2021	J	`jnl`	Satisfiability and Containment of Recursive SHACL. CoRR Paolo Pareti, George Konstantinidis, Fabio Mogavero
2020	J	`jnl`	From Quasi-Dominions to Progress Measures. CoRR Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero
2020	J	`jnl`	Robust worst cases for parity games algorithms. Inf. Comput. Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2020	J	`jnl`	SHACL Satisfiability and Containment (Extended Paper). CoRR Paolo Pareti, George Konstantinidis, Fabio Mogavero, Timothy J. Norman
2020	—	`conf`	SHACL Satisfiability and Containment. ISWC (1) Paolo Pareti, George Konstantinidis, Fabio Mogavero, Timothy J. Norman
2020	—	`conf`	Solving Mean-Payoff Games via Quasi Dominions. TACAS (2) Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2019	A*	`conf`	Attacking Diophantus: Solving a Special Case of Bag Containment. PODS George Konstantinidis, Fabio Mogavero
2019	—	`conf`	On the decidability of linear bounded periodic cyber-physical systems. HSCC Ruggero Lanotte, Massimo Merro, Fabio Mogavero
2019	A*	`conf`	Satisfiability in Strategy Logic Can Be Easier than Model Checking. AAAI Erman Acar, Massimo Benerecetti, Fabio Mogavero
2019	J	`jnl`	Solving Mean-Payoff Games via Quasi Dominions. CoRR Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2018	J	`jnl`	A delayed promotion policy for parity games. Inf. Comput. Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2018	J	`jnl`	Cycle detection in computation tree logic. Inf. Comput. Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2018	J	`jnl`	Practical verification of multi-agent systems against Slk specifications. Inf. Comput. Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2018	J	`jnl`	Reasoning about graded strategy quantifiers. Inf. Comput. Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2018	J	`jnl`	Solving parity games via priority promotion. Formal Methods Syst. Des. Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2017	A*	`conf`	Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. LICS Simone Bova, Fabio Mogavero
2017	J	`jnl`	Preface to the Special Issue on SR 2014. Inf. Comput. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2017	J	`jnl`	Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2017	A*	`conf`	Reformulating Queries: Theory and Practice. IJCAI Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura
2017	—	`conf`	Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games. GandALF Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2016	—	`conf`	A Delayed Promotion Policy for Parity Games. GandALF Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2016	—	`conf`	Cycle Detection in Computation Tree Logic. GandALF Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2016	—	`conf`	Improving Priority Promotion for Parity Games. Haifa Verification Conference Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2016	J	`jnl`	Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2016	—	`conf`	Solving Parity Games via Priority Promotion. CAV (2) Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
2015	B	`conf`	Binding Forms in First-Order Logic. CSL Fabio Mogavero, Giuseppe Perelli
2015	J	`jnl`	On Promptness in Parity Games. Fundam. Informaticae Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2015	C	`conf`	On the Counting of Strategies. TIME Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2015	J	`jnl`	Reasoning About Substructures and Games. ACM Trans. Comput. Log. Massimo Benerecetti, Fabio Mogavero, Aniello Murano
2015	J	`jnl`	Special issue on SR 2013. Inf. Comput. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2014	—	`conf`	A Behavioral Hierarchy of Strategy Logic. CLIMA Fabio Mogavero, Aniello Murano, Luigi Sauro
2014	A*	`conf`	MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2014	J	`jnl`	MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2014	J	`jnl`	On the Remarkable Features of Binding Forms. CoRR Fabio Mogavero, Giuseppe Perelli
2014	—	`ed.`	Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. SR Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2014	J	`jnl`	Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2014	A	`conf`	Strategy games: a renewed framework. AAMAS Fabio Mogavero, Aniello Murano, Luigi Sauro
2014	J	`jnl`	Synthesis of hierarchical systems. Sci. Comput. Program. Benjamin Aminof, Fabio Mogavero, Aniello Murano
2013	—	`book`	Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics. Fabio Mogavero
2013	B	`conf`	On Promptness in Parity Games. LPAR Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2013	A*	`conf`	On the Boundary of Behavioral Strategies. LICS Fabio Mogavero, Aniello Murano, Luigi Sauro
2013	—	`ed.`	Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. SR Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2013	A*	`conf`	Substructure Temporal Logic. LICS Massimo Benerecetti, Fabio Mogavero, Aniello Murano
2012	J	`jnl`	A Decidable Fragment of Strategy Logic CoRR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2012	J	`jnl`	Graded computation tree logic. ACM Trans. Comput. Log. Alessandro Bianco, Fabio Mogavero, Aniello Murano
2012	J	`jnl`	Quantitatively fair scheduling. Theor. Comput. Sci. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2012	B	`conf`	What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2011	J	`jnl`	Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2011	J	`jnl`	Reasoning About Strategies: On the Model-Checking Problem CoRR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2011	—	`conf`	Synthesis of Hierarchical Systems. FACS Benjamin Aminof, Fabio Mogavero, Aniello Murano
2010	—	`conf`	Exploring the Boundary of Half Positionality. CLIMA Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2010	B	`conf`	Graded Computation Tree Logic with Binary Coding. CSL Alessandro Bianco, Fabio Mogavero, Aniello Murano
2010	—	`—`	Logics in Computer Science. Fabio Mogavero
2010	—	`conf`	Quantitative Fairness Games QAPL Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2010	—	`conf`	Reasoning About Strategies. FSTTCS Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2010	—	`conf`	Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2009	B	`conf`	Balanced Paths in Colored Graphs. MFCS Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2009	C	`conf`	Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory Fabio Mogavero, Aniello Murano
2009	A*	`conf`	Graded Computation Tree Logic. LICS Alessandro Bianco, Fabio Mogavero, Aniello Murano
2008	—	`conf`	Comparing Rule-Based Policies. POLICY Piero A. Bonatti, Fabio Mogavero