Luo, W. (2022) “Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), pp. 9849–9857. doi: 10.1609/aaai.v36i9.21221.