@misc{indiciae3eff7f403d51,
  title = {Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling},
  author = {Brendan Gould and Akash Harapanahalli and Samuel Coogan},
  year = {2025},
  doi = {10.1109/lcsys.2025.3582206},
  url = {https://arxiv.org/abs/2509.19472},
  note = {Source identifier: 2509.19472}
}