4 citations · 6 across the 5 of their papers we have counts for
3 papers · 1 filter
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
Ulices Santa Cruz, Yasser Shoukry
In this paper, we consider the problem of formally verifying a Neural Network (NN) based autonomous landing system. In such a system, a NN controller processes images from a camera…
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…