Certifying Fast Downward: Code From Eriksson Et Al., Icaps 2017

Software OPEN SOURCE
Eriksson, Salomé; Röger, Gabriele; Helmert, Malte;
(2017)
  • Publisher: Zenodo
  • 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