Published March 2, 2020
| Version v1
Software
Open
Modified PDRplan from Eriksson-Helmert, ICAPS 2020
Description
This code package contains a modified Version of PDRplan by Martin Suda which allows generation of proofs of unsolvability.
All other code related to this paper can be found in 10.5281/zenodo.3691796.
Files
eriksson-helmert-icaps2020-code-pdr.zip
Files
(166.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e607a5a849a7cbe7ead80ab394a28f4b
|
166.1 kB | Preview Download |
Additional details
Related works
- Compiles
- Dataset: 10.5281/zenodo.3691812 (DOI)
- Is supplement to
- Software: 10.5281/zenodo.3691796 (DOI)
Funding
- Swiss National Science Foundation
- Certified Correctness and Guaranteed Performance for Domain-Independent Planning (CCGP-Plan) 200021_182107