Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks | IEEE Journals & Magazine | IEEE Xplore