[1]
S. Xiao, J. Li, S. Zhu, Y. Shi, G. Pu, and M. Vardi, “On-the-fly Synthesis for LTL over Finite Traces”, AAAI, vol. 35, no. 7, pp. 6530-6537, May 2021.