Published March 7, 2023 | Version v1
Dataset Open

Experimental Results for the AAAI 2023 Paper "On Total-Order HTN Plan Verification with Method Preconditions -- An Extension of the CYK Parsing Algorithm"

Authors/Creators

  • 1. The Australian National University
  • 2. University of Amsterdam
  • 3. Charles University

Description

This is the collection of the experimental results reported in the paper "On Total-Order HTN Plan Verification with Method Preconditions -- An Extension of the CYK Parsing Algorithm". For a detailed explanation, please read the README.md file.

Files

experimental-results-to-verification.zip

Files (207.9 MB)

Name Size Download all
md5:b1f9dfcebf3c6517cdaaedb04571c096
207.9 MB Preview Download