TY - RPRT TI - Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis AU - Ulices Santa Cruz Leal AU - Yasser Shoukry PY - 2023 UR - https://arxiv.org/abs/2309.05167 ID - 2309.05167 ER -