Code, benchmarks and data for the Paper "Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions"

This archive contains the code, benchmarks, and experimental data for the paper titled "Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions".

Code

The file planners.zip contains our code for conducting symbolic search with BDDs and EVMDDs, along with the code for all other planners used for comparison (references can be found in the included Readme file).

Benchmarks

The file benchmarks.zip contains the benchmarks with conditional effects, axioms, and/or state-dependent action costs that we used for the empirical comparison.

Experiment Data

The remaining files (experiments_X.zip) contain the experiment scripts, raw and parsed data, and reports for the experiments described in the paper, organized by individual sections.