Application domain/field

Expected input


Expected output

Prediction region (as image(s))


Uses Storm SLURF computes prediction regions. This is useful since there are many cases where you are not sure what the exact transition rates or probabilities are. The prediction regions can depict how the uncertainty in the input influences the output. Intuitively this gives some feeling for the robustness of the output for some uncertain input.
Probabilistic programs


Related papers

Sampling-Based Verification of CTMC with Uncertain Rates (CAV 2022)

Last publication date

7 August 2022

ProVerB specific

Markdown description: view/edit

ProVerB is a part of SLEBoK. Last updated: February 2023.