There is a newer version of the record available.

Published April 15, 2025 | Version 0.2
Software Open

Artifact supplement for "Small Decision Trees for MDPs with Deductive Synthesis"

Authors/Creators

  • 1. ROR icon Brno University of Technology
  • 2. Radboud University

Description

Artifact supplement for "Small Decision Trees for MDPs with Deductive Synthesis"  (CAV 2025). The repository contains

- the Docker image containing the software used in the experiments, along with the investigated benchmarks and the original log files
- a guide for reproducing the experiments presented in the publication

Files

dtpaynt.zip

Files (2.6 GB)

Name Size
md5:457326c1c7f5eda40303b34c5e247fee
2.6 GB Preview Download