APA (7th ed.) Citation

Gould, B., Harapanahalli, A., & Coogan, S. (2025). Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling.

Chicago Style (17th ed.) Citation

Gould, Brendan, Akash Harapanahalli, and Samuel Coogan. Automatic and Scalable Safety Verification Using Interval Reachability with Subspace Sampling. 2025.

MLA (9th ed.) Citation

Gould, Brendan, et al. Automatic and Scalable Safety Verification Using Interval Reachability with Subspace Sampling. 2025.