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]
@inproceedings{XiaoL0SPV21,
title = {On-the-fly Synthesis for LTL over Finite Traces},
author = {Shengping Xiao and Jianwen Li and Shufang Zhu 0001 and Yingying Shi and Geguang Pu and Moshe Y. Vardi},
year = {2021},
url = {https://ojs.aaai.org/index.php/AAAI/article/view/16809},
researchr = {https://researchr.org/publication/XiaoL0SPV21},
cites = {0},
citedby = {0},
pages = {6530-6537},
booktitle = {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},
publisher = {AAAI Press},
isbn = {978-1-57735-866-4},
}