Ulices Santa Cruz

According to our database, Ulices Santa Cruz authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis.

Ulices Santa Cruz, Yasser Shoukry

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.

Ulices Santa Cruz, Yasser Shoukry

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.

Ulices Santa Cruz, James Ferlez, Yasser Shoukry

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.

Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021