Conformal Prediction for Signal Temporal Logic Inference

Danyang Li, Yixuan Wang, Matthew Cleaveland +2

Signal Temporal Logic (STL) inference seeks to extract human-interpretable rules from time-series data, but existing methods lack formal confidence guarantees for the inferred rule…