Mining interpretable spatio-temporal logic properties for spatially distributed systems

DOI10.1007/978-3-030-88885-5_7zbMath1497.68433arXiv2106.08548OpenAlexW3208522429MaRDI QIDQ2147182

Sara Mohammadinejad, Laura Nenzi, Jyotirmoy V. Deshmukh

Publication date: 22 June 2022

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

zbMATH Keywords

distributed systemsspatio-temporal dataunsupervised learninginterpretabilityspatio-temporal reach and escape logic

Mathematics Subject Classification ID

Classification and discrimination; cluster analysis (statistical aspects) (62H30) Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (1)

Unnamed Item

Uses Software

• Silhouettes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient algorithms for agglomerative hierarchical clustering methods
• Silhouettes: a graphical aid to the interpretation and validation of cluster analysis
• Logical clustering and learning for time-series data
• Time series \(k\)-means: a new \(k\)-means type smooth subspace clustering for time series data
• Interpretable classification of time-series data using efficient enumerative techniques
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: Mining interpretable spatio-temporal logic properties for spatially distributed systems