# High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control

> Research article (IEEE Control Systems, 2017) · cited 31× · AI/ML

**Wikidata**: [openalex:W2595625343](https://www.wikidata.org/wiki/openalex:W2595625343)  
**Source**: https://4ort.xyz/entity/high-assurance-spiral-end-to-end-guarantees-for-robot-and-car-control