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), pp. 6530-6537. doi: 10.1609/aaai.v35i7.16809.