Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2311.08652
Cited By

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

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

15 November 2023

Benjamin C Yang

ArXiv (abs)PDF HTML

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

3 / 3 papers shown

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Christopher Watson

198

2

0

29 Apr 2025

FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation

FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation

342

1

0

04 Mar 2025

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems:
Developments and Challenges

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

210

43

0

20 Feb 2024