13 citations · 21 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
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.…
cs.LG2021★ 6 cited
Neural Network for Weighted Signal Temporal Logic
Ruixuan Yan, Agung Julius
In this paper, we propose a neuro-symbolic framework called weighted Signal Temporal Logic Neural Network (wSTL-NN) that combines the characteristics of neural networks and tempora…