Digging for Decision Trees: A Case Study in Strategy Sampling and Learning (experimental reproduction package)

This artifact permits to reproduce the experimental results obtained with the techniques and algorithms presented in the article "Digging for Decision Trees: A Case Study in Strategy Sampling and Learning" by Carlos E. Budde, Pedro R. D'Argenio, and Arnd Hartmanns (2024). The contents include all data and software (formal models, software tools, Python & bash scripts) used in the experimental evaluation presented in §7 of the article. Detailed instructions on how to reproduce the results are bundled in the artifact. Execution has been tested in the Virtual Machine available at https://zenodo.org/records/7113223.