Certificates and Witnesses for Probabilistic Model Checking -- Supplementary material This repository includes all data and code that was used to run the experiments in the thesis "Certificates an
This dataset relates to the paper "Multi-Cost Bounded Reachability in MDP" which aimed to develop an efficient algorithm for multi-objective model checking problems on Markov decision processes (MDPs)
This artefact contains the Prophesy tool and all model files used for the evaluation in Sect. 11 of the paper "Parameter Synthesis for Markov Models". Further information can be found in the ARTEFACT.
