APA (7th ed.) Citation

Azzopardi, S., Di Stefano, L., Piterman, N., & Schneider, G. (2023). Full LTL Synthesis over Infinite-state Arenas.

Chicago Style (17th ed.) Citation

Azzopardi, Shaun, Luca Di Stefano, Nir Piterman, and Gerardo Schneider. Full LTL Synthesis over Infinite-state Arenas. 2023.

MLA (9th ed.) Citation

Azzopardi, Shaun, et al. Full LTL Synthesis over Infinite-state Arenas. 2023.