Compositional Verification for Autonomous Systems with Deep Learning Components.

Corina S. Pasareanu Divya Gopinath Huafeng Yu

Published in: CoRR (2018)

Keyphrases

deep learning
autonomous systems
unsupervised learning
unsupervised feature learning
machine learning
autonomous navigation
dynamic environments
weakly supervised
learning algorithm
mental models
object detection
decision making
ground truth
d objects
situation awareness