STONE: Signal Temporal Logic Neural Network for Time Series ClassificationRuixuan YanAgung Juliuset al.2021ICDM 2021