149 citations · 206 across the 29 of their papers we have counts for
7 papers · 1 filter
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
James Ferlez, Haitham Khedr, Yasser Shoukry
In this paper, we present the tool Fast Box Analysis of Two-Level Lattice Neural Networks (Fast BATLLNN) as a fast verifier of box-like output constraints for Two-Level Lattice (TL…
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
Xiaowu Sun, Yasser Shoukry
In this paper, we introduce NNSynth, a new framework that uses machine learning techniques to guide the design of abstraction-based controllers with correctness guarantees. NNSynth…
Assured Neural Network Architectures for Control and Identification of Nonlinear Systems
James Ferlez, 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)…
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz +1
While conventional reinforcement learning focuses on designing agents that can perform one task, meta-learning aims, instead, to solve the problem of designing agents that can gene…
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…
Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Xiaowu Sun, Yasser Shoukry
In this paper, we consider the problem of training neural network (NN) controllers for nonlinear dynamical systems that are guaranteed to satisfy safety and liveness (e.g., reach-a…
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement
Wael Fatnassi, Yasser Shoukry
Numerical tools for constraints solving are a cornerstone to control verification problems. This is evident by the plethora of research that uses tools like linear and convex progr…