Visible to the public Biblio

Filters: Author is Jyotirmoy V. Deshmukh  [Clear All Filters]
2017
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.