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"

4 / 4 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
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
Loc-NeRF: Monte Carlo Localization using Neural Radiance Fields Dominic Maggio Marcus Abate Jingang Shi C. Mario Luca Carlone 56 83 0 19 Sep 2022
U-Net: Convolutional Networks for Biomedical Image Segmentation Olaf Ronneberger Philipp Fischer Thomas Brox SSeg 3DV 372 75,888 0 18 May 2015