Artifact of "Modular Attractor Acceleration in Infinite-State Games"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Philippe Heim, Rayna Dimitrova
DOI: 10.5281/zenodo.18163657
Cited by: 0

Abstract

The goal of this artifact is to enable the reproducibility of the experiments reported in the paper "Modular Attractor Accelerationin 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

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
6 January 2026