Xiao, S.; Li, J.; Zhu, S.; Shi, Y.; Pu, G.; Vardi, M. On-the-Fly Synthesis for LTL over Finite Traces. AAAI 2021, 35, 6530-6537.