%0 Conference Paper %1 conf/aaai/XiaoL0SPV21 %A Xiao, Shengping %A Li, Jianwen %A Zhu, Shufang %A Shi, Yingying %A Pu, Geguang %A Vardi, Moshe Y. %B AAAI %D 2021 %I AAAI Press %K dblp %P 6530-6537 %T On-the-fly Synthesis for LTL over Finite Traces. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#XiaoL0SPV21 %@ 978-1-57735-866-4

@inproceedings{conf/aaai/XiaoL0SPV21, added-at = {2023-09-04T00:00:00.000+0200}, author = {Xiao, Shengping and Li, Jianwen and Zhu, Shufang and Shi, Yingying and Pu, Geguang and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/20b9f95fddcdb113a6f221a3ed290f23d/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2021}, ee = {https://doi.org/10.1609/aaai.v35i7.16809}, interhash = {18bcc41fdee7c1fc60a3ef51536b7d6a}, intrahash = {0b9f95fddcdb113a6f221a3ed290f23d}, isbn = {978-1-57735-866-4}, keywords = {dblp}, pages = {6530-6537}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:11:30.000+0200}, title = {On-the-fly Synthesis for LTL over Finite Traces.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#XiaoL0SPV21}, year = 2021 }