@misc{indiciae9aec8a09eeb7,
  title = {Bridging Dimensions: Confident Reachability for High-Dimensional Controllers},
  author = {Yuang Geng and Jake Brandon Baldauf and Souradeep Dutta and Chao Huang and Ivan Ruchkin},
  year = {2024},
  url = {https://arxiv.org/abs/2311.04843},
  note = {Source identifier: 2311.04843}
}