Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing

15 November 2023

Papers citing "Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing"

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
Loc-NeRF: Monte Carlo Localization using Neural Radiance Fields Dominic Maggio Marcus Abate J. Shi C. Mario Luca Carlone 48 82 0 19 Sep 2022
U-Net: Convolutional Networks for Biomedical Image Segmentation Olaf Ronneberger Philipp Fischer Thomas Brox SSeg 3DV 232 75,445 0 18 May 2015