Logical clustering and learning for time-series data

DOI10.1007/978-3-319-63387-9_15zbMath1494.68232arXiv1612.07823OpenAlexW2616554232MaRDI QIDQ2151258

Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Sanjit A. Seshia, Xiao-qing Jin

Publication date: 1 July 2022

Full work available at URL: https://arxiv.org/abs/1612.07823

zbMATH Keywords

signal temporal logictrace grouphyperboxlogical clustersmassive open online courses

Mathematics Subject Classification ID

Time series, auto-correlation, regression, etc. in statistics (GARCH) (62M10) Classification and discrimination; cluster analysis (statistical aspects) (62H30) Learning and adaptive systems in artificial intelligence (68T05) Temporal logic (03B44)

Related Items (6)

An automated system repair framework with signal temporal logic ⋮ Mining interpretable spatio-temporal logic properties for spatially distributed systems ⋮ Learning specifications for labelled patterns ⋮ Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods ⋮ Compositional falsification of cyber-physical systems with machine learning components ⋮ Survey on mining signal temporal logic specifications

This page was built for publication: Logical clustering and learning for time-series data