Published April 15, 2025
| Version 0.4
Software
Open
Artifact supplement for "Small Decision Trees for MDPs with Deductive Synthesis"
Authors/Creators
-
1.
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 | Download all |
|---|---|---|
|
md5:d08f9fe546b89eedc4e2104ef6112ad0
|
2.6 GB | Preview Download |