FingerprintDive into the research topics of 'Formally verified run time assurance architecture of a 6U cubesat attitude control system'. Together they form a unique fingerprint.
- Sort by
Kerianne H. Gross, Matthew A. Clark, Jonathan A. Hoffman, Aaron W. Fifarek, Kuldip S. Rattan, Eric D. Swenson, Michael W. Whalen, Lucas Wagner
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution