Ayana A. Wild | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Xiaodong Yang
41 publications
Taylor T. Johnson
22 publications
Weiming Xiang
14 publications
Nathaniel Hamilton
5 publications
Patrick Musau
5 publications
Diego Manzanas Lopez
5 publications
Joel Rosenfeld
1 publication

research

∙ 10/03/2018

Verification for Machine Learning, Autonomy, and Neural Networks Survey

This survey presents an overview of verification techniques for autonomo...

0 Weiming Xiang, et al. ∙