University of Basel, Research Group for Artificial Intelligence
Published March 10, 2017 | Version v1
Software Open

Certifying Fast Downward: Code from Eriksson et al., ICAPS 2017

Authors/Creators

  • 1. University of Basel, Switzerland

Description

This is an extension of the Fast Downward planning system, implementing certificate generation and verification for unsolvable planning tasks. It is used as a prototype for the paper "Unsolvability Certificates for Classical Planning" by Eriksson et al., In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Notes

This work was supported by the European Research Council as part of the project "State Space Exploration: Principles, Algorithms and Applications".

Files

certifying-fast-downward-eriksson-et-al-ICAPS2017.zip

Files (710.2 kB)

Additional details

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.