Xiao, S., Li, J., Zhu, S., Shi, Y., Pu, G. and Vardi, M. 2021. On-the-fly Synthesis for LTL over Finite Traces. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 7 (May 2021), 6530-6537. DOI:https://doi.org/10.1609/aaai.v35i7.16809.