Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su. Checking LTL Satisfiability via End-to-end Learning. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]
@inproceedings{LuoWZDS22,
title = {Checking LTL Satisfiability via End-to-end Learning},
author = {Weilin Luo and Hai Wan and Delong Zhang and Jianfeng Du and Hengdi Su},
year = {2022},
doi = {10.1145/3551349.3561163},
url = {https://doi.org/10.1145/3551349.3561163},
researchr = {https://researchr.org/publication/LuoWZDS22},
cites = {0},
citedby = {0},
booktitle = {37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022},
publisher = {ACM},
isbn = {978-1-4503-9475-8},
}