All Stories

  1. Verifying Linear Temporal Properties on Polyhedral Systems: Decidability and Symbolic Algorithms

    Article • Information and Computation, June 2026, Elsevier

    Ph.D. Fabio Mogavero

  2. Common Foundations for SHACL, ShEx, and PG-Schema

    Article • April 2025, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero, Cem Okulmus

  3. Priority Promotion with Parysian flair

    Article • Journal of Computer and System Sciences, February 2025, Elsevier

    Ph.D. Fabio Mogavero

  4. Solving mean-payoff games via quasi dominions

    Article • Information and Computation, March 2024, Elsevier

    Ph.D. Fabio Mogavero

  5. Alternating (In)Dependence-Friendly Logic

    Article • Annals of Pure and Applied Logic, December 2023, Elsevier

    Ph.D. Fabio Mogavero

  6. From Quasi-Dominions to Progress Measures

    Article • November 2023, World Scientific Pub Co Pte Lt

    Ph.D. Fabio Mogavero

  7. Taming Strategy Logic: Non-Recurrent Fragments

    Article • Information and Computation, October 2023, Elsevier

    Ph.D. Fabio Mogavero

  8. Quantifying Over Trees in Monadic Second-Order Logic

    Article • June 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  9. Good-for-Game QPTL: An Alternating Hodges Semantics

    Article • ACM Transactions on Computational Logic, January 2023, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  10. Satisfiability and containment of recursive SHACL

    Article • Journal of Web Semantics, October 2022, Elsevier

    Ph.D. Fabio Mogavero

  11. Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project

    Article • January 2022, Research Publishing Services

    Ph.D. Fabio Mogavero

  12. Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems

    Article • January 2021, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  13. Robust worst cases for parity games algorithms

    Article • Information and Computation, June 2020, Elsevier

    Ph.D. Fabio Mogavero

  14. SHACL Satisfiability and Containment

    Article • January 2020, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  15. Solving Mean-Payoff Games via Quasi Dominions

    Article • January 2020, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  16. Satisfiability in Strategy Logic Can Be Easier than Model Checking

    Article • Proceedings of the AAAI Conference on Artificial Intelligence, July 2019, Association for the Advancement of Artificial Intelligence (AAAI)

    Ph.D. Fabio Mogavero

  17. Attacking Diophantus

    Article • June 2019, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  18. On the decidability of linear bounded periodic cyber-physical systems

    Article • April 2019, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  19. A delayed promotion policy for parity games

    Article • Information and Computation, October 2018, Elsevier

    Ph.D. Fabio Mogavero

  20. Cycle detection in computation tree logic

    Article • Information and Computation, October 2018, Elsevier

    Ph.D. Fabio Mogavero

  21. Practical verification of multi-agent systems against Slk specifications

    Article • Information and Computation, August 2018, Elsevier

    Ph.D. Fabio Mogavero

  22. Reasoning about graded strategy quantifiers

    Article • Information and Computation, April 2018, Elsevier

    Ph.D. Fabio Mogavero

  23. Solving parity games via priority promotion

    Article • Formal Methods in System Design, January 2018, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  24. Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games

    Article • Electronic Proceedings in Theoretical Computer Science, September 2017, Open Publishing Association

    Ph.D. Fabio Mogavero

  25. Reformulating Queries: Theory and Practice

    Article • August 2017, International Joint Conferences on Artificial Intelligence

    Ph.D. Fabio Mogavero

  26. Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries

    Article • June 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  27. Preface to the Special Issue on SR 2014

    Article • Information and Computation, June 2017, Elsevier

    Ph.D. Fabio Mogavero

  28. Reasoning about Strategies: on the Satisfiability Problem

    Article • Logical Methods in Computer Science, March 2017, Centre pour la Communication Scientifique Directe (CCSD)

    Ph.D. Fabio Mogavero

  29. A Delayed Promotion Policy for Parity Games

    Article • Electronic Proceedings in Theoretical Computer Science, September 2016, Open Publishing Association

    Ph.D. Fabio Mogavero

  30. Cycle Detection in Computation Tree Logic

    Article • Electronic Proceedings in Theoretical Computer Science, September 2016, Open Publishing Association

    Ph.D. Fabio Mogavero

  31. Improving Priority Promotion for Parity Games

    Article • January 2016, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  32. Solving Parity Games via Priority Promotion

    Article • January 2016, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  33. On the Counting of Strategies

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  34. On Promptness in Parity Games*†

    Article • Fundamenta Informaticae, July 2015, IOS Press

    Ph.D. Fabio Mogavero

  35. Reasoning About Substructures and Games

    Article • ACM Transactions on Computational Logic, July 2015, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  36. Special issue on SR 2013

    Article • Information and Computation, June 2015, Elsevier

    Ph.D. Fabio Mogavero

  37. Relentful strategic reasoning in alternating-time temporal logic

    Article • Journal of Logic and Computation, September 2014, Oxford University Press (OUP)

    Ph.D. Fabio Mogavero

  38. Reasoning About Strategies

    Article • ACM Transactions on Computational Logic, August 2014, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  39. Synthesis of hierarchical systems

    Article • Science of Computer Programming, April 2014, Elsevier

    Ph.D. Fabio Mogavero

  40. Article • Electronic Proceedings in Theoretical Computer Science, April 2014, Open Publishing Association

    Ph.D. Fabio Mogavero

  41. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

    Article • January 2014, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  42. A Behavioral Hierarchy of Strategy Logic

    Article • January 2014, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  43. On the Boundary of Behavioral Strategies

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  44. Substructure Temporal Logic

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  45. Article • Electronic Proceedings in Theoretical Computer Science, March 2013, Open Publishing Association

    Ph.D. Fabio Mogavero

  46. On Promptness in Parity Games

    Article • January 2013, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  47. Graded computation tree logic

    Article • ACM Transactions on Computational Logic, August 2012, ACM (Association for Computing Machinery)

    Ph.D. Fabio Mogavero

  48. Quantitatively fair scheduling

    Article • Theoretical Computer Science, January 2012, Elsevier

    Ph.D. Fabio Mogavero

  49. Synthesis of Hierarchical Systems

    Article • January 2012, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  50. What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic

    Article • January 2012, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  51. Exploring the boundary of half-positionality

    Article • Annals of Mathematics and Artificial Intelligence, June 2011, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  52. Article • Electronic Proceedings in Theoretical Computer Science, June 2010, Open Publishing Association

    Ph.D. Fabio Mogavero

  53. Exploring the Boundary of Half Positionality

    Article • January 2010, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  54. Graded Computation Tree Logic with Binary Coding

    Article • January 2010, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  55. Relentful Strategic Reasoning in Alternating-Time Temporal Logic

    Article • January 2010, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  56. Graded Computation Tree Logic

    Article • August 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero

  57. Balanced Paths in Colored Graphs

    Article • January 2009, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  58. Branching-Time Temporal Logics with Minimal Model Quantifiers

    Article • January 2009, Springer Science + Business Media

    Ph.D. Fabio Mogavero

  59. Comparing Rule-Based Policies

    Article • June 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Ph.D. Fabio Mogavero