Concepedia

Reachability Games

Reachability Games is a subclass of stochastic games in which the primary objective is to reach a designated set of target states, distinguishing it from other stochastic games by focusing on qualitative reachability goals rather than quantitative payoff maximization.

58

Publications

1.6K

Citations

110

Authors

64

Institutions

Publications per year

2017–2026

13

Parents

Publications

58

Concurrent reachability games

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman · Theoretical Computer Science · 2007 · 139 citations

, , +12

Finitary winning in ω-regular games

Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn · ACM Transactions on Computational Logic · 2009 · 99 citations

, , +10

Multiple-Pursuer/One-Evader Pursuit–Evasion Game in Dynamic Flowfields

Wei Sun, Panagiotis Tsiotras, Tapovan Lolla et al. · Journal of Guidance Control and Dynamics · 2017 · 97 citations

, , +17

Concurrent reachability games

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman · 2002 · 95 citations

, , +12

Optimal strategies for testing nondeterministic systems

Lev Nachmanson, Margus Veanes, Wolfram Schulte et al. · 2004 · 73 citations

, , +13

1–5 of 58

Authors

110

  1. KC
    Krishnendu Chatterjee

    Institute of Science and Technology Austria, Austria

    10 publications · 330 citations

    9

    h-index

  2. LD
    Luca de Alfaro

    University of California, Santa Cruz, United States

    8 publications · 396 citations

    8

    h-index

  3. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    7 publications · 419 citations

    7

    h-index

  4. TB
    Thomas Brihaye

    University of Mons, Belgium

    5 publications · 83 citations

    5

    h-index

  5. HG
    Hugo Gimbert

    Laboratoire Bordelais de Recherche en Informatique, France

    4 publications · 93 citations

    4

    h-index

1–5 of 110

Institutions

64

  1. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    14 publications

    354 citations

  2. University of California, Santa Cruz

    Santa Cruz, United States

    8 h-index

    11 publications

    404 citations

  3. University of California, Berkeley

    Berkeley, United States

    7 h-index

    12 publications

    500 citations

  4. Institute of Science and Technology Austria

    Klosterneuburg, Austria

    6 h-index

    8 publications

    253 citations

  5. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    5 h-index

    5 publications

    301 citations

  6. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    5 h-index

    9 publications

    213 citations

  7. Masaryk University

    Brno, Czechia

    5 h-index

    14 publications

    347 citations

  8. University of Toronto

    Toronto, Canada

    4 h-index

    4 publications

    89 citations

1–8 of 64

Venues

  1. Information and Computation

    5 publications · 106 citations

    5

    h-index

  2. arXiv (Cornell University)

    Repository · 4 publications · 60 citations

    4

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 3 publications · 54 citations

    3

    h-index

  4. Logical Methods in Computer Science

    LMCS · 3 publications · 59 citations

    3

    h-index

  5. 2

    h-index

1–5