2 citations · 2 across the 6 of their papers we have counts for
Showing 2022 · math.OCShow all
2 papers · 2 filters
math.OC2022★ 2 cited
A Note on the Hausdorff Distance between Norm Balls and their Linear Maps
Shadi Haddad, Abhishek Halder
We consider the problem of computing the (two-sided) Hausdorff distance between the unit and norm balls in finite dimensional Euclidean space for $1 \…
math.OC2022
Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties
Shadi Haddad, Abhishek Halder
We consider the problem of verifying safety for a pair of identical integrator agents in continuous time with compact set-valued input uncertainties. We encode this verification pr…