2 papers
cs.RO2026
Safety-Critical Control under Uncertainty via Adaptive Conformal Quantile Prediction Intervals
Hao Zhou, Yanze Zhang, Yiwei Lyu +1
Safety-critical control under uncertainty requires uncertainty representations that are both statistically valid (for certifiable performance) and compatible with enforceable safet…
cs.RO2026
Scenario MPC with STL Specifications and Pareto-Based Feasibility Repair
Tianhao Wu, Yiwei Lyu
Temporal logic is a formal language for reasoning about system behaviors over time. Signal temporal logic (STL), in particular, has been used to encode spatio-temporal requirements…