Logical Clustering and Learning for Time-Series Data
| Title | Logical Clustering and Learning for Time-Series Data |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia |
| Conference Name | 29th International Conference on Computer Aided Verification (CAV) |
| Keywords | 1545126 |
| Citation Key | marcellvc-cav17 |