Published March 10, 2017
| Version v1
Dataset
Open
Eriksson et al, ICAPS 2017: Data set from experiments
Authors/Creators
- 1. University of Basel, Switzerland
Description
This is the experiment data used in the paper "Unsolvability Certificates for Classical Planning" by Eriksson et al. (ICAPS 2017). The file "properties" contains all parsed attributes from each experiment run in json-format, while the file "Report_icaps17.html" containes an overview of the most important attributes in html-format.
Notes
This work was supported by the European Research Council as part of the project "State Space Exploration: Principles, Algorithms and Applications".
Files
eriksson-et-al-icaps2017-experiment.zip
Files
(1.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ef11ccc1d9f49d47af35bf9654d5cb3d
|
1.1 MB | Preview Download |
Additional details
Related works
- Is compiled by
- 10.5281/zenodo.376651 (DOI)
References
- Salomé Eriksson, Gabriele Röger and Malte Helmert. Unsolvability Certificates for Classical Planning. In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS). 2017.