Visible to the public Biblio

Filters: Author is Marcell Vazquez{-}Chanlatte  [Clear All Filters]
2018-05-27
Marcell Vazquez{-}Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia.  2017.  Logical Clustering and Learning for Time-Series Data. 29th International Conference on Computer Aided Verification (CAV). :305–325.