Login / Signup
Modular Verification of Autonomous Space Robotics.
Marie Farrell
Rafael C. Cardoso
Louise A. Dennis
Clare Dixon
Michael Fisher
Georgios Kourtis
Alexei Lisitsa
Matt Luckcuck
Matt Webster
Published in:
CoRR (2019)
Keyphrases
</>
robotic systems
semi autonomous
artificial intelligence
computer vision
space time
cooperative
autonomous navigation
parameter space
data sets
information systems
databases
data structure
search algorithm
search space
reinforcement learning
multiscale
clustering algorithm
information space