APA (7th ed.) Citation

Rothkopf, R., Cui, A. L., Zeng, H. T., Sinha, A., & Santolucito, M. (2023). Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. https://doi.org/10.1184/R1/22277356.v1

Chicago Style (17th ed.) Citation

Rothkopf, Raven, Angel Leyi Cui, Hannah Tongxin Zeng, Arya Sinha, and Mark Santolucito. Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. 2023. https://doi.org/10.1184/R1/22277356.v1.

MLA (9th ed.) Citation

Rothkopf, Raven, et al. Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. 2023. https://doi.org/10.1184/R1/22277356.v1.