
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae
Author(s) -
Weilin Luo,
Pingjia Liang,
Jianfeng Du,
Hai Wan,
Bo Peng,
Delong Zhang
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i9.21221
Subject(s) - inference , computer science , bridging (networking) , artificial intelligence , machine learning , algorithm , theoretical computer science , computer network