TY  - RPRT
TI  - Logic-based Clustering and Learning for Time-Series Data
AU  - Marcell Vazquez-Chanlatte
AU  - Jyotirmoy V. Deshmukh
AU  - Xiaoqing Jin
AU  - Sanjit A. Seshia
PY  - 2017
UR  - https://arxiv.org/abs/1612.07823
ID  - 1612.07823
ER  -