PATH PLANNING FOR LUNAR POLAR EXPLORATION MISSION USING LINEAR TEMPORAL LOGIC
AIAA SciTech Forum and Exposition ; 2020 ; Orlando, Fla.
2020
Aufsatz (Konferenz)
Englisch
BKL: | 55.50 Luftfahrzeugtechnik |
Lunar Exploration by Polar Orbiter
NTIS | 1983
|Mission architectures of lunar exploration
AIAA | 1992
|