Formal Verification of System States for Spacecraft Automatic Maneuvering
AIAA SciTech Forum and Exposition ; 2019 ; San Diego, Calif.
2019
Conference paper
English
Formal Verification of Maneuvering Target Tracking
AIAA | 2003
|Maneuvering of flexible spacecraft
AIAA | 1986
|