Title

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 166 2 0 29 Apr 2025
FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation Yan Miao Will Shen Sayan Mitra 326 1 0 04 Mar 2025
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 190 42 0 20 Feb 2024