Luo, W., Liang, P., Du, J., Wan, H., Peng, B., & Zhang, D. (2022). Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), 9849–9857. https://doi.org/10.1609/aaai.v36i9.21221