4 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…
SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications
Yixuan Wang, Licheng Luo, Yu Fu +3
Translating natural language instructions into machine-interpretable formal specifications enables robots and autonomous systems to plan, reason, and formally verify their behavior…
Uncertainty-Aware Action Segmentation for Human-to-Robot Assembly Teleoperation
Fnu Heman, Yixuan Wang, Kolin Xu +7
Action segmentation supports intention estimation and execution monitoring in assisted teleoperation, but robot demonstrations are costly to collect. We propose an uncertainty-awar…
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…