ICSE 2024 (series) / Artifact Evaluation /
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications: Artifact
This is an artifact for the ICSE’24 paper titled “Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications”. The artifact includes a version of the paper with appendices, all benchmarks used in our evaluation, raw data, and scripts to run and reproduce the experiments described in the paper. The artifact is made available with an open BSD 3-Clause License in https://doi.org/10.5281/zenodo.8312833.