1 citations · 2 across the 13 of their papers we have counts for
3 papers · 1 filter
Class-Conditional Conformal Prediction for Signal Temporal Logic Inference with Many Classes
Yixuan Wang, Danyang Li, Matthew Cleaveland +2
Signal Temporal Logic (STL) inference provides interpretable formulas for time series classification. For multiclass classification, however, accurate predictions do not necessaril…
Conformalized Signal Temporal Logic Inference under Covariate Shift
Yixuan Wang, Danyang Li, Matthew Cleaveland +2
Signal Temporal Logic (STL) inference learns interpretable logical rules for temporal behaviors in dynamical systems. To ensure the correctness of learned STL formulas, recent appr…
RRT: Sampling-based Motion Planning and Control from STL Specifications using Arithmetic-Geometric Mean Robustness
Ahmad Ahmad, Shuo Liu, Roberto Tron +1
Sampling-based motion planning has emerged as a powerful approach for robotics, enabling exploration of complex, high-dimensional configuration spaces. When combined with Signal Te…