91 citations · 98 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 91 cited
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…
eess.SY2018★ 1 cited
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau +1
Neural networks have been widely used to solve complex real-world problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal safety guarantees for the…