Verifying safety of an autonomous spacecraft rendezvous mission.

Nicole Chan Sayan Mitra

Published in: CoRR (2017)

Keyphrases

mission planning
space shuttle
unmanned aerial vehicles
earth observing
search and rescue
model checking
decision making
cooperative
database
autonomous navigation
land vehicle
space station
coal mining
traffic accidents
robotic systems
path planning
reinforcement learning
website
real world