Visible to the public Biblio

Filters: Author is Marcell Vazquez{-}Chanlatte  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
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.