Login / Signup
Formally Specifying Families of Space Exploration Missions.
Mike Hinchey
Published in:
SPLC Workshops (2010)
Keyphrases
</>
space exploration
obstacle avoidance
data sets
mobile robot
knowledge base
image sequences
mathematical model
parameter settings