Verification of Multi-Objective Markov Models: Replication Package

Contains benchmarks, execution scripts, log files, and the Storm version exercised for the experiments given in Chapter 9 of the work <strong>Verification of Multi-Objective Markov Models</strong>. 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)