Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact)
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)
