Experiment scripts of the PhD Thesis "Merge-and-Shrink Abstractions for Classical Planning: Theory, Strategies, and Implementation"

This bundle contains all scripts used for running experiments of the PhD thesis "Merge-and-Shrink Abstractions for Classical Planning: Theory, Strategies, and Implementation". The scripts are based on Lab, very likely version v2.0 (https://doi.org/10.5281/zenodo.790461). They can be found in the directory dissertation, where most scripts correspond to one experiment. Others only combine the data of several experiments for the purpose of generating tables and plots.