TY  - RPRT
TI  - Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
AU  - Brendan Gould
AU  - Akash Harapanahalli
AU  - Samuel Coogan
PY  - 2025
DO  - 10.1109/lcsys.2025.3582206
UR  - https://arxiv.org/abs/2509.19472
ID  - 2509.19472
ER  -