Xiao S, Li J, Zhu S, Shi Y, Pu G, Vardi M. On-the-fly Synthesis for LTL over Finite Traces. AAAI [Internet]. 2021May18 [cited 2024Apr.19];35(7):6530-7. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16809