Luo, W., P. Liang, J. Du, H. Wan, B. Peng, and D. Zhang. “Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 9, June 2022, pp. 9849-57, doi:10.1609/aaai.v36i9.21221.