Learning Signal Temporal Logic through Neural Network for Interpretable Classification

Danyang Li, Mingyu Cai, Cristian-Ioan Vasile +1

Machine learning techniques using neural networks have achieved promising success for time-series data classification. However, the models that they produce are challenging to veri…