Data for Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions

The reproducibility package of the HSCC 2023 version is in "hscc_ptre-main.zip". The pdf version of the HSCC 2023 paper can also be found in the same zip file. The new examples that use polytopes are in "polytope_examples.zip". Inside the zip file see "runscript.sh" for the commands to reproduce the experiments. The instructions for compiling and building the tool "ptre" is the same as given in the "README.md" of "hscc_ptre-main.zip". The new examples that use zone-boxes and interval-boxes are in "unifyzone.zip". Inside the zip file see "runscript.sh" for the commands to reproduce the experiments. The instructions for compiling and building the tools "eitre" and "mptre" are given in "README.md" of "unifyzone.zip". Running the "make" command will generate the binaries "eitre" and "mptre".