This is an artifact abstract for the ICSE’23 paper “Triggers for Reactive Synthesis Specifications”.

The purpose of the artifact is to allow the readers of the paper to examine and reproduce the results of the experiments we presented in the evaluation section.

The artifact includes (1) the specifications, (2) scripts and executables to reproduce the experiment of checking realizability, and (3) the triggers extracted from the specifications.

The artifact is available from Zenodo at: https://doi.org/10.5281/zenodo.7568415