Verification for Machine Learning, Autonomy, and Neural Networks Survey. - Weiming Xiang 001; Patrick Musau; Ayana A. Wild; Diego Manzanas Lopez; Nathaniel Hamilton; Xiaodong Yang; Joel A. Rosenfeld; Taylor T. Johnson (CoRR, 2018)