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

Eriksson, Salomé; Röger, Gabriele; Helmert, Malte;
  • Publisher: Figshare
  • Related identifiers: doi: 10.5281/zenodo.376651
  • Subject: unsolvable planning tasks | certificates | zenodo | classical planning | Uncategorized | heuristic search
    acm: ComputingMilieux_THECOMPUTINGPROFESSION

<p>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 Proceedin... View more
Share - Bookmark