APA (7th ed.) Citation

De Giacomo, G., Parretti, G., & Zhu, S. (2023). LTLf best-effort synthesis in nondeterministic planning domains. IOS Press.

Chicago Style (17th ed.) Citation

De Giacomo, G., G. Parretti, and S. Zhu. LTLf Best-effort Synthesis in Nondeterministic Planning Domains. IOS Press, 2023.

MLA (9th ed.) Citation

De Giacomo, G., et al. LTLf Best-effort Synthesis in Nondeterministic Planning Domains. IOS Press, 2023.