Formal Verification of System States for Spacecraft Automatic Maneuvering
AIAA SciTech Forum and Exposition ; 2019 ; San Diego, Calif.
Intelligent systems ; Volume 2 of 2 ; 928-942
2019
Conference paper
English
Formal Verification of Maneuvering Target Tracking
AIAA | 2003
|Orbital Maneuvering of Spacecraft
Wiley | 1998
|