@misc{nguyen2026reachabilityanalysisdesignoptimization,
      title={Reachability Analysis for Design Optimization}, 
      author={Steven Nguyen and Jorge Cortés and Boris Kramer},
      year={2026},
      eprint={2603.15865},
      archivePrefix={arXiv},
      primaryClass={math.OC},
      url={https://arxiv.org/abs/2603.15865}, 
}