PATH PLANNING FOR LUNAR POLAR EXPLORATION MISSION USING LINEAR TEMPORAL LOGIC
AIAA SciTech Forum and Exposition ; 2020 ; Orlando, Fla.
Unmanned systems ; 667-675
2020
Aufsatz (Konferenz)
Englisch
BKL: | 55.50 Luftfahrzeugtechnik |
Mission architectures of lunar exploration
AIAA | 1992
|The extended stay lunar exploration mission.
NTRS | 1966
|