149 citations · 206 across the 29 of their papers we have counts for
4 papers · 1 filter
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach
James Ferlez, Yasser Shoukry
In this paper, we consider the computational complexity of formally verifying the behavior of Rectified Linear Unit (ReLU) Neural Networks (NNs), where verification entails determi…
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier
Haitham Khedr, James Ferlez, Yasser Shoukry
Neural Networks (NNs) have increasingly apparent safety implications commensurate with their proliferation in real-world applications: both unanticipated as well as adversarial mis…
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
James Ferlez, Mahmoud Elnaggar, Yasser Shoukry +1
In this paper, we develop a novel closed-form Control Barrier Function (CBF) and associated controller shield for the Kinematic Bicycle Model (KBM) with respect to obstacle avoidan…
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems
James Ferlez, Xiaowu Sun, Yasser Shoukry
In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture (number of layers and number of neurons per layer)…