Xiao, Shengping, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, and Moshe Vardi. “On-the-Fly Synthesis for LTL over Finite Traces”. Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 7 (May 18, 2021): 6530-6537. Accessed April 18, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/16809.