1 citations · 3 across the 4 of their papers we have counts for
6 papers
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers
Ulices Santa Cruz, James Ferlez, Yasser Shoukry
In this paper, we consider the problem of repairing a data-trained Rectified Linear Unit (ReLU) Neural Network (NN) controller for a discrete-time, input-affine system. That is we…
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…
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)…
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems
James Ferlez, Yasser Shoukry
In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture that is sufficient to implement the optimal Model…
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
James Ferlez, Rance Cleaveland, Steve Marcus
In this work, we develop a generalization of Hennessy-Milner Logic (HML) for Generalized Synchronization Trees (GSTs) that we call Generalized Hennessy Milner Logic (GHML). Importa…