APA (7th ed.) Citation

wu, z., huang, y., huang, p., li, m., & wang, j. (2025). Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae. Zenodo.

Chicago Style (17th ed.) Citation

wu, ziji, yu huang, peishan huang, minglong li, and ji wang. Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae. Zenodo, 2025.

MLA (9th ed.) Citation

wu, ziji, et al. Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae. Zenodo, 2025.