Computer Science > Computer Science and Game Theory
[Submitted on 7 Jun 2024]
Title:Games on Graphs: A Time-Efficient Algorithm for Solving Finite Reachability and Safety Games
View PDF HTML (experimental)Abstract:In recent years, there has been a growing interest in games on graphs within the research community, fueled by their relevance in applications such as economics, politics, and epidemiology. This paper aims to comprehensively detail the design decisions involved in developing a time-efficient algorithm for solving finite reachability and safety games on graphs. The primary contribution of this work is the introduction of a novel algorithm that effectively addresses both reachability and safety games by exploiting their inherent duality. The performance of the proposed algorithm is rigorously evaluated against traditional methods using a randomized testing framework. The paper is organized as follows: first, we provide the reader with a theoretical overview of reachability and safety games, followed by an in-depth discussion on the construction of the playing arena. A formal definition of reachability and safety games and a review of traditional algorithms for their resolution are then presented. Subsequently, the multiple-perspective algorithm is introduced along with its optimizations. The paper concludes with an extensive set of experiments and a comprehensive discussion of their results.
Submission history
From: Christian Giannetti [view email][v1] Fri, 7 Jun 2024 20:08:28 UTC (277 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.