ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

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.