4 citations · 6 across the 5 of their papers we have counts for
5 papers
Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models
Ulices Santa Cruz, Mahmoud Elfar, Yasser Shoukry
We consider the problem of vision-based pose estimation for autonomous systems. While deep neural networks have been successfully used for vision-based tasks, they inherently lack…
Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
Ulices Santa Cruz Leal, Yasser Shoukry
This paper studies the problem of designing a certified vision-based state estimator for autonomous landing systems. In such a system, a neural network (NN) processes images from a…
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…