Livingston, S. C. (2024). gr1c: a tool for interactive and incremental reactive synthesis. https://doi.org/10.7907/5m62h-a4204