Learning-based Inverse Perception Contracts and Applications

24 September 2023

Sayan Mitra

Papers citing "Learning-based Inverse Perception Contracts and Applications"

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
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing Yangge Li Benjamin C Yang Yixuan Jia Daniel Zhuang Sayan Mitra 35 4 0 15 Nov 2023
Assuring Safety of Vision-Based Swarm Formation Control Chiao Hsieh Yubin Koh Yangge Li Sayan Mitra 15 4 0 03 Oct 2022
CAD2RL: Real Single-Image Flight without a Single Real Image Fereshteh Sadeghi Sergey Levine SSL 229 809 0 13 Nov 2016