2 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
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…
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi +5
The need for a systematic approach to risk assessment has increased in recent years due to the ubiquity of autonomous systems that alter our day-to-day experiences and their need f…
Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam +2
Conformal prediction is a statistical tool for producing prediction regions for machine learning models that are valid with high probability. A key component of conformal predictio…