Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Arnd Hartmanns, Tim Quatmann, Mark van Wijk
DOI: 10.5281/zenodo.18604533
Cited by: 1

Abstract

Artifact for Paper Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact) accepted for FM 2026.The artifact contains the two multi-objective probabilistic model checking tools mcsta (part of The Modest Toolset) and Storm using a multi-platform Docker image for convenient installation.Benchmark models and benchmarking scripts are provided to reproduce all experiments from the paper.A representative subset of experiments is included to assess reproducibility in reasonable time.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
11 February 2026
Language
EN
Document type
Dataset