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

10 September 2023

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 Christopher Watson Rajeev Alur Divya Gopinath Ravi Mangal C. Păsăreanu 53 0 0 29 Apr 2025
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 16 0 0 31 Jul 2024
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers James Ferlez Yasser Shoukry 12 1 0 20 Sep 2022