Conformalized Signal Temporal Logic Inference under Covariate Shift
arXiv:2603.27062v1 Announce Type: new
Abstract: Signal Temporal Logic (STL) inference learns interpretable logical rules for temporal behaviors in dynamical systems. To ensure the correctness of learned STL formulas, recent approaches have incorporate…