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

<p>This artifact accompanies the 2022 article in the International Journal on Software Tools for Technology Transfer (STTT)&nbsp;with the same title. The artifact contains a docker container, which can be unzipped and then loaded with:</p> <pre><code>docker load -i&nbsp;upMDPs_STTT.tar</code></pre> <p>Please refer to the README in the ZIP&nbsp;file&nbsp;for more information, or to the Git repository on&nbsp;<a href="https://gitlab.science.ru.nl/tbadings/sttt-scenario">https://gitlab.science.ru.nl/tbadings/sttt-scenario</a>.</p> <p>The Python source code from which the Docker container is created is available in the&nbsp;<code>upMDPs_STTT_source.zip</code> file. This zip file contains the exact content of the Git repository above (accessed on August 20, 2024).</p>