Supplementary Material for ATVA 2026

Artefact for "Towards Actionable Strategy Certificates in Stochastic Parity Games" This artefact accompanies the ATVA'26 paper "Towards Actionable Strategy Certificates in Stochastic Parity Games". This artefact contains the implementation for synthesizing Actionable Strategy Certificates (ASCerts) and scripts forreproducing all experimental results: (A) Performance Evaluation (Paper: Section 6, Appendix C.1, Table 1, Table 2) (B) Runtime Adaptation (Paper: Section 6, Appendix C.2, Figure 4, Figure 5) Additionally, the artefact also contains the original experimental data presented in the paper. Info DOI / Zenodo (latest version): https://doi.org/10.5281/zenodo.19929368 License: MIT License Artefact Test Machine: MacBook Pro with M2 and 24 GB Memory Time for Complete Reproduction on Test Machine: about 1.5 hours Structure The artefact is given by ascert-atva26.zip For convenience, we have additionally uploaded the READMEs (Readme.txt, README.html, README.pdf) We have also provided a Docker image for x86-platforms (ascert-docker-amd.tar.gz), which was however not extensively tested due to the unavailability of an x86 machine. Requirements To evaluate the artefact, we require the following: Docker installation Gurobi license (free academic license can be obtained, also see below) Access to university network (for obtaining Gurobi license; only needed during setup) Internet access (for validating Gurobi license) Supported platforms: ARM Note: The second version (v2) contains the data and implementation at the point of the paper submission. This version (v3) additionally contains a Docker image and more detailed documentation and is intended for the artefact evaluation.