Shengping Xiao, Jianwen Li, Shufang Zhu 0001, Yingying Shi, Geguang Pu, Moshe Y. Vardi. On-the-fly Synthesis for LTL over Finite Traces. In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. pages 6530-6537, AAAI Press, 2021. [doi]
Abstract is missing.