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 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)