Elements of Timed Pattern Matching

D Ulus, T Ferrère, E Asarin, D Nickovic… - ACM Transactions on …, 2024 - dl.acm.org
The rise of machine learning and cloud technologies has led to a remarkable influx of data
within modern cyber-physical systems. However, extracting meaningful information from this …