Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic DescriptionRuixuan YanTengfei Maet al.2022ICDM 2022