Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact)

DOI10.5281/zenodo.13919108Zenodo13919108MaRDI QIDQ6697803FDOQ6697803

Dataset published at Zenodo repository.

Tobias Winkler, Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

Publication date: 11 October 2024

Copyright license: Creative Commons Attribution 4.0 International

Description

This artifact contains the raw data of our experiments as well as scripts and benchmarks to reproduce the experiments.Furthermore, the considered version of Storm is included, which contains our implementation. Please also consider the artifact of the conference paper available at zenodo which has been accepted by the TACAS Artifact evaluation committee. This artifact contains:`LICENSE`: The license document.`README.md`: The instructions.`raw_data.zip`: The raw data obtained during our experiments`raw_data_with_results.zip`: The raw data, also including the resulting stationary distributions and evts in an explicit format. (84 GB!)`reproduce.zip` contains benchmarks and scripts for reproducing the experiments`storm-0b1cae2a94f06984f3cf4cecf5a5090e9bc71a56.zip` is the exact Storm version we considered.

This page was built for dataset: Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact)