activity
20202025
most citedVerifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

36 citations · 45 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.RO2024

Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis

Ayoosh Bansal, Duo Wang, Mikael Yeghiazaryan +9

Autonomous air taxis are poised to revolutionize urban mass transportation, however, ensuring their safety and reliability remains an open challenge. Validating autonomy solutions…

cs.RO2024

Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation

Yangge Li, Benjamin C Yang, Sayan Mitra

This paper addresses the problem of visual target tracking in scenarios where a pursuer may experience intermittent loss of visibility of the target. The design of a Switched Visua…