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 signalsJJ Morales, J Khalife, US Cruz, ZM KassasProceedings of the 32nd International Technical Meeting of the Satellite …, 2019182019
2-) Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landingU Santa Cruz, Y ShoukryNASA Formal Methods Symposium, 213-230, 2022102022
3-) Safe-by-repair: A convex optimization approach for repairing unsafe two-level lattice neural network controllersU Santa Cruz, J Ferlez, Y Shoukry2022 IEEE 61st Conference on Decision and Control (CDC), 3383-3388, 202252022
4-) Provably safe model-based meta reinforcement learning: An abstraction-based approachX Sun, W Fatnassi, U Santa Cruz, Y Shoukry2021 60th IEEE Conference on Decision and Control (CDC), 2963-2968, 202152021
5-) Certified vision-based state estimation for autonomous landing systems using reachability analysisU Santa Cruz, Y Shoukry2023 62nd IEEE Conference on Decision and Control (CDC), 6052-6057, 202332023