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