Ulices Santa Cruz

Ulices Santa Cruz

Universidad Autónoma de Baja California - Baja California / Mexico
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4741881
Autonomous University of Baja California
person_outline Ulices Santa Cruz's MOST POPULAR ARTICLES
1-) Orbit modeling for simultaneous tracking and navigation using LEO satellite signals Proceedings of the 32nd international technical meeting of the satellite …, 2019
2-) Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing NASA Formal Methods Symposium, 213-230, 2022
3-) Safe-by-repair: A convex optimization approach for repairing unsafe two-level lattice neural network controllers 2022 IEEE 61st Conference on Decision and Control (CDC), 3383-3388, 2022
4-) Certified vision-based state estimation for autonomous landing systems using reachability analysis 2023 62nd IEEE Conference on Decision and Control (CDC), 6052-6057, 2023
5-) Provably safe model-based meta reinforcement learning: An abstraction-based approach 2021 60th IEEE Conference on Decision and Control (CDC), 2963-2968, 2021