# Generating Formal Safety Assurances for High-Dimensional Reachability

> Research article (2023 IEEE International Conference on Robotics and Automation (ICRA), 2023) · cited 13× · AI/ML

**Wikidata**: [openalex:W4383066412](https://www.wikidata.org/wiki/openalex:W4383066412)  
**Source**: https://4ort.xyz/entity/generating-formal-safety-assurances-for-high-dimensional-reachability