TY  - RPRT
TI  - Verification for Machine Learning, Autonomy, and Neural Networks Survey
AU  - Weiming Xiang
AU  - Patrick Musau
AU  - Ayana A. Wild
AU  - Diego Manzanas Lopez
AU  - Nathaniel Hamilton
AU  - Xiaodong Yang
AU  - Joel Rosenfeld
AU  - Taylor T. Johnson
PY  - 2018
UR  - https://arxiv.org/abs/1810.01989
ID  - 1810.01989
ER  -