5 papers
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…
Conformal Prediction for Signal Temporal Logic Inference
Danyang Li, Yixuan Wang, Matthew Cleaveland +2
Signal Temporal Logic (STL) inference seeks to extract human-interpretable rules from time-series data, but existing methods lack formal confidence guarantees for the inferred rule…
Enhancing Security in Multi-Robot Systems through Co-Observation Planning, Reachability Analysis, and Network Flow
Ziqi Yang, Roberto Tron
This paper addresses security challenges in multi-robot systems (MRS) where adversaries may compromise robot control, risking unauthorized access to forbidden areas. We propose a n…
Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
Wenliang Liu, Danyang Li, Erfan Aasi +3
Imitation learning methods have demonstrated considerable success in teaching autonomous systems complex tasks through expert demonstrations. However, a limitation of these methods…