Artifact supplement for 'Policies Grow on Trees: Model Checking Families of MDPs'

Artifact supplement for 'Policies Grow on Trees: Model Checking Families of MDPs'  (ATVA 2024).

This repository includes:
- the Docker image containing the software used in the experiments, along with the investigated benchmarks and original log files
- source code of the used version of the tool PAYNT
- a guide for replicating the experiments presented in the publication
- two versions of the paper: the initial submission and the final version with the revised experiments