works on
face lattice 1feed-forward networks 1neural network verification 1polytope methods 1reachability analysis 1relu activation 1

From the 1 of 22 linked papers with an AI index.

activity
20172023
most citedReachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

70 citations · 99 across the 14 of their papers we have counts for

collaborators
Showing 2018 · cs.AIShow all

1 paper · 2 filters

cs.AI2018

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…