Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks

Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan +2

Extracting spatial-temporal knowledge from data is useful in many applications. It is important that the obtained knowledge is human-interpretable and amenable to formal analysis.…