APA (7th ed.) Citation

Rodríguez, A., Gorostiaga, F., & Sánchez, C. (2024). Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.

Chicago Style (17th ed.) Citation

Rodríguez, Andoni, Felipe Gorostiaga, and César Sánchez. Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. 2024.

MLA (9th ed.) Citation

Rodríguez, Andoni, et al. Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. 2024.