TY  - RPRT
TI  - Reachability Analysis for Design Optimization
AU  - Steven Nguyen
AU  - Jorge Cortés
AU  - Boris Kramer
PY  - 2026
UR  - https://arxiv.org/abs/2603.15865
ID  - 2603.15865
ER  -