Verification for Machine Learning, Autonomy, and Neural Networks Survey
2018·Arxiv