There is a newer version of the record available.

Published April 23, 2025 | Version v2
Software Open

What are the Odds?

Authors/Creators

  • 1. ROR icon TU Dresden

Description

Artifact for QEST paper 5325 "What are the Odds? Improving Statistical Model Checking of Markov Decision Processes"

Files

README.pdf

Files (1.8 GB)

Name Size Download all
md5:f08dffe83702bdb13f6ca1b47dc279ce
38.7 MB Preview Download
md5:d41e25475886627277daf355e60c0923
1.7 GB Download
md5:a99363b8e810515913d5388a7f2b7062
22.7 kB Download
md5:8a26061c7b7bba2e3f2b3434728d3453
12.9 kB Preview Download
md5:0ce9595f22c2a932ae2d270f55a95648
213.9 kB Preview Download