Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published June 21, 2022 | Version 1
Software Open

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'

  • 1. Radboud University
  • 2. Dematic
  • 3. RWTH Aachen University
  • 4. The University of Texas at Austin


This artifact accompanies the 2022 article in the International Journal on Software Tools for Technology Transfer (STTT) with the same title. The artifact contains a docker container, which can be unzipped and then loaded with:

docker load -i upMDPs_STTT.tar

Please refer to the README in the ZIP file for more information, or to the Git repository on


Files (1.6 GB)

Name Size Download all
35.1 kB Download
9.0 kB Preview Download
1.6 GB Preview Download