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…