Concepedia

Dynamic Reachability

Dynamic Reachability is a computational framework in dynamic data structures that enables the maintenance and querying of reachability information in a directed graph undergoing incremental updates such as edge insertions or deletions.

89

Publications

4.3K

Citations

231

Authors

124

Institutions

Publications per year

2017–2026

31

Parents

Publications

89

Maneuver-based motion planning for nonlinear systems with symmetries

E. Frazz, Munther A. Dahleh, Éric Féron · IEEE Transactions on Robotics · 2005 · 439 citations

, , +15

On the minimax reachability of target sets and target tubes

Dimitri P. Bertsekas, I. Rhodes · Automatica · 1971 · 430 citations

, , +4

Program analysis via graph reachability

Thomas Reps · Information and Software Technology · 1998 · 330 citations

, , +14

Reachability analysis of dynamical systems having piecewise-constant derivatives

Eugène Asarin, Oded Maler, Amir Pnueli · Theoretical Computer Science · 1995 · 228 citations

, , +15

Probabilistic reachability for parametric Markov models

Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang · International Journal on Software Tools for Technology Transfer · 2010 · 180 citations

, , +10

1–5 of 89

Authors

231

  1. UZ
    Uri Zwick

    Tel Aviv University, Israel

    4 publications · 249 citations

    4

    h-index

  2. LR
    Liam Roditty

    Bar-Ilan University, Israel

    4 publications · 249 citations

    4

    h-index

  3. YY
    Yiming Yang

    University of Edinburgh, United Kingdom

    3 publications · 76 citations

    3

    h-index

  4. JL
    John Lygeros

    ETH Zurich, Switzerland

    3 publications · 99 citations

    3

    h-index

  5. SV
    Sethu Vijayakumar

    University of Edinburgh, United Kingdom

    3 publications · 76 citations

    3

    h-index

1–5 of 231

Institutions

124

  1. University of California, Berkeley

    Berkeley, United States

    6 h-index

    7 publications

    177 citations

  2. ETH Zurich

    Zurich, Switzerland

    4 h-index

    11 publications

    263 citations

  3. Technical University of Munich

    Munich, Germany

    3 h-index

    7 publications

    115 citations

  4. University of Oxford

    Oxford, United Kingdom

    3 h-index

    6 publications

    120 citations

  5. Institute of Science and Technology Austria

    Klosterneuburg, Austria

    3 h-index

    4 publications

    186 citations

  6. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    5 publications

    282 citations

  7. University of Edinburgh

    Edinburgh, United Kingdom

    2 h-index

    9 publications

    281 citations

  8. University of Vienna

    Vienna, Austria

    2 h-index

    2 publications

    126 citations

1–8 of 124

Venues

  1. Automatica

    7 publications · 656 citations

    7

    h-index

  2. Theoretical Computer Science

    4 publications · 284 citations

    4

    h-index

  3. IEEE Transactions on Automatic Control

    2 publications · 150 citations

    3

    h-index

  4. 2

    h-index

  5. IEEE Transactions on Robotics

    2 publications · 482 citations

    2

    h-index

1–5