Formal Specifications with Data-Driven Signal Analysis
A hybrid approach for analyzing and monitoring real-valued signals that integrates specification-based and data-driven techniques and semi-supervised machine learning to infer complex relationships that distinguish correct from faulty behaviors is proposed.
Roderick Bloem, Benedikt Maderbacher, Cristinel Mateis et al.
· 0 citations