Published August 15, 2024 | Version v1
Dataset Open

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

Authors/Creators

  • 1. University of Trento
  • 2. CONICET Cordoba
  • 3. Universidad Nacional de Córdoba
  • 4. Universiteit Twente

Description

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.

 

Files

README.md

Files (345.0 MB)

Name Size
md5:2b1abbaacfae83a7c096493a07cf417a
344.7 MB Download
md5:be51e0bbf88b0acde84c72e5c49f4e01
22.5 kB Download
md5:034b003d94bef13af75088d75f5887ff
12.0 kB Preview Download
md5:4e7448f3261af46042ef2c4c629f9de3
231.0 kB Preview Download

Additional details

Funding

Ministero dell'università e della ricerca
SERICS - PNRR - NextGenerationEU PE00000014
Dutch Research Council
Trustworthy Analysis of Stochastic Timed Systems (TruSTy) VI.Vidi.223.110
Ministero dell'università e della ricerca
Smartitude - PRIN 2022 - NextGeneration D53D23008400006
European Commission
MISSION - Models in Space Systems: Integration, Operation, and Networking 101008233
Universidad Nacional de Córdoba
MECANO 33620230100384CB
European Commission
ProSVED - Projection of Security Vulnerabilities caused by Exploits in Dependencies 101067199
Universidad Nacional de Córdoba
CoSMoSS 2022-09-00580