Logical Clustering and Learning for Time-Series Data. - Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A. (2017)