Logical Clustering and Learning for Time-Series Data

Article Details
Title:	Logical Clustering and Learning for Time-Series Data
Article URLs:	https://doi.org/10.1007/978-3-319-63387-9_15
Alternative Article URLs:
Authors:	Marcell Vazquez-Chanlatte	University of California - Berkeley
	Jyotirmoy V. Deshmukh	Toyota Motors North America R&D
	Xiaoqing Jin	Toyota Motors North America R&D
	Sanjit A. Seshia	University of California - Berkeley
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://archive.org/details/Logical_Clustering_CAV2017_Artifact
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1545126
DBLP Key:	conf/cav/Vazquez-Chanlatte17
Author Comments:

Computer Aided Verification, CAV 2017