W. Luo, P. Liang, J. Du, H. Wan, B. Peng, and D. Zhang, “Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae”, AAAI, vol. 36, no. 9, pp. 9849–9857, Jun. 2022.