Showing 2026Show all
2 papers · 1 filter
cs.LG2026
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…
cs.RO2026
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…