Published May 12, 2023 | Version 1.1
Software Open

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'

Creators

  • 1. Radboud University
  • 2. Eindhoven University of Technology
  • 3. University of Texas at Austin

Description

This artifact accompanies the CAV 2023 paper with the title 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. The artifact contains a docker file, which can be unzipped and then loaded with:

docker load -i prmc_sensitivity_cav23_docker.tar

Depending on your permissions, you may need to run this command with sudo. Please refer to the ReadMe for more information.

The source code of the docker container is available on GitHub: https://github.com/LAVA-LAB/prmc-sensitivity.

Files

prmc_sensitivity_cav23.zip

Files (2.0 GB)

Name Size Download all
md5:4fe869ee987a340198fb0d54c55c47f1
35.1 kB Download
md5:a14198d0b1970ac6e156e9b00e207041
2.0 GB Preview Download
md5:979da1c65e73a63b48133db1a7c9e4aa
19.4 kB Preview Download