Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. - Nasim Baharisangari; Kazuma Hirota; Ruixuan Yan; Agung Julius; Zhe Xu 005 (IEEE Control. Syst. Lett., 2022)