Concepedia

State-space Abstraction

State-Space Abstraction is a formal method in hybrid systems verification that belongs to the class of abstraction techniques and specifically reduces the complexity of a system's continuous state space by partitioning it into finitely many equivalence regions preserving essential dynamical and safety properties.

169

Publications

10.2K

Citations

391

Authors

151

Institutions

Publications per year

2017–2026

33

Parents

Publications

169

Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition

Tom Dietterich · Journal of Artificial Intelligence Research · 2000 · 1.4K citations · Full text

, , +12

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations

, , +13

Model checking for programming languages using VeriSoft

Patrice Godefroid · 1997 · 829 citations · Full text

, , +17

WebMate

Liren Chen, Katia Sycara · 1998 · 458 citations

, , +15

Property preserving abstractions for the verification of concurrent systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 357 citations

, , +14

1–5 of 169

Authors

391

  1. AA
    Alessandro Abate

    University of Oxford, United Kingdom

    6 publications · 321 citations

    6

    h-index

  2. SS
    Sadegh Soudjani

    Newcastle University, United Kingdom

    6 publications · 281 citations

    6

    h-index

  3. ML
    Michael L. Littman

    Rutgers, The State University of New Jersey, United States

    5 publications · 443 citations

    5

    h-index

  4. AG
    Antoine Girard

    Université Grenoble Alpes, France

    4 publications · 156 citations

    4

    h-index

  5. MK
    Marta Kwiatkowska

    University of Oxford, United Kingdom

    5 publications · 260 citations

    4

    h-index

1–5 of 391

Institutions

151

  1. University of Alberta

    Edmonton, Canada

    9 h-index

    25 publications

    1.3K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    8 h-index

    15 publications

    2.6K citations

  3. University of California, Berkeley

    Berkeley, United States

    8 h-index

    15 publications

    973 citations

  4. Stanford University

    Stanford, United States

    5 h-index

    7 publications

    241 citations

  5. University of L'Aquila

    L’Aquila, Italy

    4 h-index

    11 publications

    302 citations

  6. University of Oxford

    Oxford, United Kingdom

    4 h-index

    12 publications

    198 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    8 publications

    228 citations

  8. Saarland University

    Saarbrücken, Germany

    4 h-index

    9 publications

    334 citations

1–8 of 151

Venues

  1. arXiv (Cornell University)

    Repository · 8 publications · 277 citations

    8

    h-index

  2. Journal of Artificial Intelligence Research

    JAIR · 6 publications · 1.7K citations

    6

    h-index

  3. IEEE Transactions on Automatic Control

    5 publications · 230 citations

    5

    h-index

  4. 4

    h-index

  5. IFAC-PapersOnLine

    4 publications · 79 citations

    4

    h-index

1–5