activity
20242026
most citedFormal Verification and Control with Conformal Prediction

2 citations · 2 across the 3 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

Conformal Predictive Programming for Chance Constrained Optimization

Yiqi Zhao, Xinyi Yu, Matteo Sesia +2

We propose conformal predictive programming (CPP), a framework to solve chance constrained optimization problems, i.e., optimization problems with constraints that are functions of…