Verification of Multi-Objective Markov Models: Replication Package

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Contains benchmarks, execution scripts, log files, and the Storm version exercised for the experiments given in Chapter 9 of the work Verification of Multi-Objective Markov Models. List of contents: storm-package.zip: contains the Storm version considered in the experiments including installation instructions and scripts. Tested on the TACAS'23 artefact evaluation VM totalrew.zip: contains the benchmarks and experimental data for the evaluation of expected total reward computations (Sections 9.2) multi.zip: contains the benchmarks and experimental data for the evaluation of multi-objective verification (Sections 9.3 to 9.6)

Authors 1

1. Tim Quatmann corresponding Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University