TY - RPRT TI - Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description AU - Ruixuan Yan AU - Tengfei Ma AU - Achille Fokoue AU - Maria Chang AU - Agung Julius PY - 2022 UR - https://arxiv.org/abs/2209.09114 ID - 2209.09114 ER -