activity
20242026
most citedInterpretable Imitation Learning via Generative Adversarial STL Inference and Control

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.LG2026

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…

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…