There is a newer version of the record available.

Published June 21, 2022 | Version 1
Software Open

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

Creators

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

Description

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 https://gitlab.science.ru.nl/tbadings/sttt-scenario

Files

README.md

Files (1.6 GB)

Name Size Download all
md5:4fe869ee987a340198fb0d54c55c47f1
35.1 kB Download
md5:76170ad7f5eda222697cdc4468459910
9.0 kB Preview Download
md5:54cd5bfccf4101373a76a2b94f67d8cc
1.6 GB Preview Download