Fingerprint
Dive 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
- Weight
- Alphabetically
Formally verified run time assurance architecture of a 6U cubesat attitude control system
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
3
Scopus
citations