most citedAutomatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling

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

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2026

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis

Brendan Gould, Chih-Yuan Chiu, Antoine P. Leeman +3

We study the set of solutions to a parameterized, strongly convex optimization problem whose cost depends on uncertain, bounded parameters. We compute a certified outer approximati…