Concepedia

Probabilistic Equivalence

Probabilistic Equivalence is a formal method in equivalence checking that belongs to the class of probabilistic verification techniques, distinguished by its use of probability distributions and statistical reasoning to determine whether two systems or expressions are equivalent with a quantifiable degree of confidence.

52

Publications

3.4K

Citations

83

Authors

59

Institutions

Publications per year

2017–2026

3

Parents

Publications

52

On empirically equivalent systems of the world

W. V. Quine · Erkenntnis · 1975 · 729 citations

, , +9

Specification and refinement of probabilistic processes

Bengt Jönsson, Kim G. Larsen · 2002 · 343 citations

, , +17

Equivalence notions and model minimization in Markov decision processes

Robert Givan, Thomas Dean, Matthew Greig · Artificial Intelligence · 2003 · 313 citations

, , +12

Bisimulation through probabilistic testing (preliminary report)

Kim G. Larsen, Arne Skou · 1989 · 152 citations · Full text

, , +17

A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata

Wen-Guey Tzeng · SIAM Journal on Computing · 1992 · 133 citations

, , +17

1–5 of 52

Authors

83

  1. ST
    Simone Tini

    University of Insubria, Italy

    3 publications · 47 citations

    3

    h-index

  2. VC
    Valentina Castiglioni

    University of Milan, Italy

    3 publications · 47 citations

    3

    h-index

  3. YD
    Yuxin Deng

    Shanghai Jiao Tong University, China

    3 publications · 85 citations

    3

    h-index

  4. GH
    Gastón H. Gonnet

    ETH Zurich, Switzerland

    2 publications · 34 citations

    2

    h-index

  5. RK
    Ratnesh Kumar

    Iowa State University, United States

    2 publications · 42 citations

    2

    h-index

1–5 of 83

Institutions

59

  1. University of Insubria

    Varese, Italy

    3 h-index

    6 publications

    105 citations

  2. Iowa State University

    Ames, United States

    3 h-index

    6 publications

    112 citations

  3. University of Sussex

    Brighton, United Kingdom

    2 h-index

    2 publications

    195 citations

  4. Heidelberg University

    Heidelberg, Germany

    2 h-index

    2 publications

    30 citations

  5. Laboratoire d’Informatique Fondamentale de Marseille

    Marseille, France

    2 h-index

    2 publications

    30 citations

  6. University of California, Los Angeles

    Los Angeles, United States

    2 h-index

    2 publications

    191 citations

  7. McGill University

    Montreal, Canada

    2 h-index

    5 publications

    143 citations

  8. Google (United States)

    Mountain View, United States

    2 h-index

    3 publications

    94 citations

1–8 of 59

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 107 citations

    4

    h-index

  2. The Annals of Mathematical Statistics

    2 publications · 37 citations

    2

    h-index

  3. International Journal of Foundations of Computer Science

    IJFCS · 2 publications · 83 citations

    2

    h-index

  4. Logical Methods in Computer Science

    LMCS · 2 publications · 59 citations

    2

    h-index

  5. 2

    h-index

1–5