Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (Artifact)

University of Twente Research Information 2026 Dataset Open access

Read full text
Authors: Pedro R. D’Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk
DOI: 10.5281/zenodo.19660159
Cited by: 1

Abstract

This artifact contains a build of the Modest Toolset with support for multi-objective statistical model checking for Markov decision processes based on lightweight strategy sampling.Furthermore, Storm, benchmarking models and analysis scripts are available to reproduce the results shown in the paper.To assess the reproducibility in a reasonable timeframe, representative subsets of the experiments are provided.

Publication details

Journal / source
University of Twente Research Information
Publication date
22 June 2026
Document type
Dataset