activity
20172021
most citedDynamic mode decomposition for interconnected control systems

9 citations · 9 across the 4 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LG2020

Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems

Chris R. Serrano, Pape M. Sylla, Michael A. Warren

Testing remains the primary method to evaluate the accuracy of neural network perception systems. Prior work on the formal verification of neural network perception models has been…