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