6 papers
Domain-Aware Machine Learning for Accelerating MILP-Based Motion Planning with Temporal Logic and Chance Constraints
Junyang Cai, Weimin Huang, Brendan Long +4
Motion-planning problems with temporal-logic or chance constraints are often encoded as mixed-integer linear programs (MILPs). Although these encodings provide rigorous specificati…
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…
Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters
Harmeet Dhillon, Pranay Katyal, Brendan Long +3
In multi-robot systems, traditional radio frequency (RF) communication struggles with contention and jamming. Optical communication offers a strong alternative. However, convention…
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…
Conservative Perception Models for Probabilistic Verification
Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky +2
Verifying the behaviors of autonomous systems with learned perception components is a challenging problem due to the complexity of the perception and the uncertainty of operating e…
Distributionally Robust Statistical Verification with Imprecise Neural Networks
Souradeep Dutta, Michele Caprio, Vivian Lin +5
A particularly challenging problem in AI safety is providing guarantees on the behavior of high-dimensional autonomous systems. Verification approaches centered around reachability…