Login / Signup
Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair.
Yu Huang
Kevin Angstadt
Kevin Leach
Westley Weimer
Published in:
ICSE (Workshops) (2020)
Keyphrases
</>
autonomous vehicles
image restoration
distributed databases
map building
neural network
learning algorithm
image processing
multiagent systems