Verification for Machine Learning, Autonomy, and Neural Networks Survey

Weiming Xiang, Patrick Musau, Ayana A. Wild +5

This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereo…