Showing 2025Show all
3 papers · 1 filter
cs.LG2025
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…
cs.RO2025
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…
cs.LG2025
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…