# Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System

> Research article (AIAA Infotech @ Aerospace, 2016) · cited 12× · AI/ML

**Wikidata**: [openalex:W2321648114](https://www.wikidata.org/wiki/openalex:W2321648114)  
**Source**: https://4ort.xyz/entity/formally-verified-run-time-assurance-architecture-of-a-6u-cubesat-attitude-control-system