APA (7th ed.) Citation

Xiao, S., Li, Y., Zhu, S., Sun, J., Li, J., Pu, G., & Vardi, M. Y. (2024). On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.

Chicago Style (17th ed.) Citation

Xiao, Shengping, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, and Moshe Y. Vardi. On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach That Counts. 2024.

MLA (9th ed.) Citation

Xiao, Shengping, et al. On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach That Counts. 2024.