Published August 1, 2023
| Version v1
Software
Open
Supplementary Materials of the ECAI'23 submission "Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning"
- 1. Saarland University
- 2. Linköping University
Description
This archive contains the source code, benchmarks,experimental data and proof appendix of the paper "Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning" submitted to ECAI '23. For more details, conduct the READMEs in the respective subdirectories.
Files
benchmarks.zip
Files
(90.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a9a2270a74373e8c1cc397cd784f058e
|
7.2 MB | Preview Download |
|
md5:c39d5534e2bbacf78af008e8e84259cf
|
1.3 MB | Preview Download |
|
md5:7373fa423d6af2407dedb530297609d4
|
81.9 MB | Preview Download |
|
md5:b32c0c2a93cbad88394c564f0df2baa0
|
165.5 kB | Preview Download |
|
md5:42562e5f0d054db2766c1805d1e2fef5
|
270 Bytes | Preview Download |