Sign in
Ulices Santa Cruz
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 8
Top Topics
State Estimation
Temporal Abstractions
Formal Verification
Convex Optimization
Top Venues
CoRR
CDC
NFM
</>
Publications
</>
Ulices Santa Cruz
,
Yasser Shoukry
Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis.
CDC
(2023)
Ulices Santa Cruz
,
Yasser Shoukry
Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis.
CoRR
(2023)
Ulices Santa Cruz
,
Yasser Shoukry
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.
NFM
(2022)
Ulices Santa Cruz
,
James Ferlez
,
Yasser Shoukry
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.
CDC
(2022)
Ulices Santa Cruz
,
Yasser Shoukry
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.
CoRR
(2022)
Ulices Santa Cruz
,
James Ferlez
,
Yasser Shoukry
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.
CoRR
(2021)
Xiaowu Sun
,
Wael Fatnassi
,
Ulices Santa Cruz
,
Yasser Shoukry
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.
CoRR
(2021)
Xiaowu Sun
,
Wael Fatnassi
,
Ulices Santa Cruz
,
Yasser Shoukry
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.
CDC
(2021)