most citedFormal Verification and Control with Conformal Prediction

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

collaborators
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2024★ 2 cited

Formal Verification and Control with Conformal Prediction

Lars Lindemann, Yiqi Zhao, Xinyi Yu +2

We present recent advances in formal verification and control for autonomous systems with practical safety guarantees enabled by conformal prediction (CP), a statistical tool for u…

eess.SY2024

Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees

Charis Stamouli, Lars Lindemann, George J. Pappas

In this paper, we focus on the problem of shrinking-horizon Model Predictive Control (MPC) in uncertain dynamic environments. We consider controlling a deterministic autonomous sys…