Published January 6, 2026
| Version v1
Software
Open
Artifact of "Modular Attractor Acceleration in Infinite-State Games"
Description
The goal of this artifact is to enable the reproducibility of the experiments reported in the paper "Modular Attractor Acceleration
in Infinite-State Games". It has been created for the TACAS'26 artifact evaluation.
Requirments:
- The AMD64 version of the TACAS 2026 Artifact Evaluation VM (https://doi.org/10.5281/zenodo.17171929) and a way to run it
- 8GB of memory
- 40GB of free disk space
Files
artifact.zip
Files
(2.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:46bf32fbab97593786b7ee68f90c553e
|
2.7 GB | Preview Download |