Verifying safety of an autonomous spacecraft rendezvous mission.

Nicole Chan Sayan Mitra

Published in: ARCH@CPSWeek (2017)

Keyphrases

mission planning
space shuttle
unmanned aerial vehicles
earth observing
search and rescue
model checking
deep space
autonomous learning
rendezvous search
information retrieval
knowledge base
multiscale
cooperative
path planning