activity
20232026
most citedRampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection

1 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.RO2023

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

Ulices Santa Cruz Leal, Yasser Shoukry

This paper studies the problem of designing a certified vision-based state estimator for autonomous landing systems. In such a system, a neural network (NN) processes images from a…