Concepedia

Probabilistic Refinement

Probabilistic Refinement is a refinement calculus framework that extends classical refinement relations with probabilistic choice, enabling the formal derivation of probabilistic programs by preserving safety and liveness properties under stochastic behavior.

12

Publications

210

Citations

62

Authors

37

Institutions

Publications per year

2017–2026

1

Parents

Publications

12

Decision-theoretic refinement planning using inheritance abstraction

Peter Haddawy, Meliani Suwandi · International Conference on Artificial Intelligence Planning Systems · 1994 · 47 citations

, , +14

Optimizing selection of competing services with probabilistic hierarchical refinement

Tian Tan, Manman Chen, Jun Sun et al. · 2016 · 23 citations · Full text

, , +16

A Tiered Approach for Assessing Individual and Combined Risk of Pyrethroids Using Human Biomonitoring Data

José Tarazona, Irene Cattaneo, Lars Niemann et al. · Toxics · 2022 · 23 citations · Full text

, , +17

Reliability assessment through probabilistic refinement

Elena Troubitsynå · Nordic journal of computing · 1999 · 17 citations

, , +17

A Flexible Online Camera Calibration Using Line Segments

Yueqiang Zhang, Langming Zhou, Haibo Liu et al. · Journal of Sensors · 2016 · 16 citations · Full text

, , +12

1–5 of 12

Authors

62

  1. AC
    Argelia Castaño

    Instituto de Salud Carlos III, Spain

    1 publications · 23 citations

    1

    h-index

  2. NP
    Nicole Probst‐Hensch

    University of Basel, Switzerland

    1 publications · 23 citations

    1

    h-index

  3. SF
    Samuel Fuhrimann

    Swiss Tropical and Public Health Institute, Switzerland

    1 publications · 23 citations

    1

    h-index

  4. EG
    Eva Govarts

    Flemish Institute for Technological Research, Belgium

    1 publications · 23 citations

    1

    h-index

  5. IC
    Irene Cattaneo

    European Food Safety Authority, Italy

    1 publications · 23 citations

    1

    h-index

1–5 of 62

Institutions

37

  1. Turku Centre for Computer Science

    Turku, Finland

    2 h-index

    2 publications

    29 citations

  2. Åbo Akademi University

    Turku, Finland

    2 h-index

    2 publications

    29 citations

  3. Universidad Nacional de Córdoba

    Córdoba, Argentina

    1 h-index

    1 publications

    10 citations

  4. Ministry of Health

    Nicosia, Cyprus

    1 h-index

    1 publications

    23 citations

  5. Federal Institute for Risk Assessment

    Berlin, Germany

    1 h-index

    1 publications

    23 citations

  6. Israel Ministry of Health

    Jerusalem, Israel

    1 h-index

    1 publications

    23 citations

  7. National Institute of Health Dr. Ricardo Jorge

    Lisbon, Portugal

    1 h-index

    1 publications

    23 citations

  8. Finnish Institute of Occupational Health

    Helsinki, Finland

    1 h-index

    1 publications

    23 citations

1–8 of 37

Venues

  1. Nordic journal of computing

    2 publications · 29 citations

    2

    h-index

  2. Formal Aspects of Computing

    1 publications · 10 citations

    1

    h-index

  3. IEEE PES Transmission and Distribution Conference and Exhibition

    Conference · 1 publications · 11 citations

    1

    h-index

  4. Journal of Sensors

    1 publications · 16 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 13 citations

    1

    h-index

1–5