{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/ZENODO.14602066"}],"doi":"10.5281/ZENODO.14602066","article_processing_charge":"No","department":[{"_id":"KrCh"}],"_id":"19769","month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","date_created":"2025-06-02T09:37:14Z","OA_type":"green","author":[{"first_name":"Carlos","last_name":"Budde","full_name":"Budde, Carlos"},{"full_name":"Hartmanns, Arnd","first_name":"Arnd","last_name":"Hartmanns"},{"orcid":"0000-0002-1712-2165","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","first_name":"Tobias"},{"first_name":"Maximilian","last_name":"Weininger","id":"02ab0197-cc70-11ed-ab61-918e71f56881","full_name":"Weininger, Maximilian"},{"full_name":"Wienhöft, Patrick","first_name":"Patrick","last_name":"Wienhöft"}],"type":"research_data_reference","oa_version":"Published Version","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"19742"}]},"oa":1,"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."}],"citation":{"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>.","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>","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>.","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.","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>","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)."},"day":"07","status":"public","date_updated":"2025-06-02T09:45:41Z","title":"Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)","publisher":"Zenodo","date_published":"2025-01-07T00:00:00Z","ddc":["000"],"OA_place":"repository"}