---
OA_place: repository
OA_type: green
_id: '19769'
abstract:
- lang: eng
  text: "Artifact to reproduce the experimental results presented in the article \"Sound
    Statistical Model Checking for Probabilities and Expected Rewards\" by Carlos
    E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick
    Wienhöft (TACAS 2025).\r\n\r\nThe contents include all data and software (formal
    models, software tools, Python & bash scripts) used in the experimental evaluation
    presented in sections 3, 4, and 6 of the article. Detailed instructions on how
    to reproduce the results are bundled in the artifact."
article_processing_charge: No
author:
- first_name: Carlos
  full_name: Budde, Carlos
  last_name: Budde
- first_name: Arnd
  full_name: Hartmanns, Arnd
  last_name: Hartmanns
- first_name: Tobias
  full_name: Meggendorfer, Tobias
  id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
  last_name: Meggendorfer
  orcid: 0000-0002-1712-2165
- first_name: Maximilian
  full_name: Weininger, Maximilian
  id: 02ab0197-cc70-11ed-ab61-918e71f56881
  last_name: Weininger
- first_name: Patrick
  full_name: Wienhöft, Patrick
  last_name: Wienhöft
citation:
  ama: Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical
    model checking for probabilities and expected rewards (experimental reproduction
    package). 2025. doi:<a href="https://doi.org/10.5281/ZENODO.14602066">10.5281/ZENODO.14602066</a>
  apa: Budde, C., Hartmanns, A., Meggendorfer, T., Weininger, M., &#38; Wienhöft,
    P. (2025). Sound statistical model checking for probabilities and expected rewards
    (experimental reproduction package). Zenodo. <a href="https://doi.org/10.5281/ZENODO.14602066">https://doi.org/10.5281/ZENODO.14602066</a>
  chicago: Budde, Carlos, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger,
    and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and
    Expected Rewards (Experimental Reproduction Package).” Zenodo, 2025. <a href="https://doi.org/10.5281/ZENODO.14602066">https://doi.org/10.5281/ZENODO.14602066</a>.
  ieee: C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound
    statistical model checking for probabilities and expected rewards (experimental
    reproduction package).” Zenodo, 2025.
  ista: Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound
    statistical model checking for probabilities and expected rewards (experimental
    reproduction package), Zenodo, <a href="https://doi.org/10.5281/ZENODO.14602066">10.5281/ZENODO.14602066</a>.
  mla: Budde, Carlos, et al. <i>Sound Statistical Model Checking for Probabilities
    and Expected Rewards (Experimental Reproduction Package)</i>. Zenodo, 2025, doi:<a
    href="https://doi.org/10.5281/ZENODO.14602066">10.5281/ZENODO.14602066</a>.
  short: C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
date_created: 2025-06-02T09:37:14Z
date_published: 2025-01-07T00:00:00Z
date_updated: 2025-06-02T09:45:41Z
day: '07'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.5281/ZENODO.14602066
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/ZENODO.14602066
month: '01'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '19742'
    relation: used_in_publication
    status: public
status: public
title: Sound statistical model checking for probabilities and expected rewards (experimental
  reproduction package)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...