Luo W, Liang P, Du J, Wan H, Peng B, Zhang D. Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI [Internet]. 2022Jun.28 [cited 2024Sep.21];36(9):9849-57. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/21221