ResearchTrend.AI
Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis

Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis

Ulices Santa Cruz
Yasser Shoukry
ArXiv (abs)PDFHTML

Papers citing "Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis"

3 / 3 papers shown
Title
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
Christopher Watson
Rajeev Alur
Divya Gopinath
Ravi Mangal
C. Păsăreanu
87
0
0
29 Apr 2025
Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods
Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods
Zheqi Lv
Shaoxuan He
Simin Liu
Wenqiao Zhang
Luis Mattei-Mendez
Taylor Loper
Jingyuan Chen
Zhou Zhao
Changliu Liu
3DPC
93
0
0
31 Jul 2024
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
James Ferlez
Mahmoud M. Elnaggar
Yasser Shoukry
C. Fleming
AAML
95
33
0
16 Jun 2020

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.