Ayana A. Wild

Verification for Machine Learning, Autonomy, and Neural Networks Survey pdf

Weiming Xiang, Taylor T. Johnson, Xiaodong Yang, 2018, ArXiv.