Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. - Xiaowu Sun; Wael Fatnassi; Ulices Santa Cruz; Yasser Shoukry (CDC, 2021)

Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. - Ulices Santa Cruz; James Ferlez; Yasser Shoukry (CDC, 2022)

NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing. - Ulices Santa Cruz; Yasser Shoukry (NFM, 2022)

Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis. - Ulices Santa Cruz; Yasser Shoukry (CDC, 2023)

Formal Verification of Vision-Based AI-Controlled Cyber-Physical Vehicles - Ulices Santa Cruz (2024)