Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae.

Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang

Browse the full AAAI paper archive.