activity
20242026
most citedTowards Unified Probabilistic Verification and Validation of Vision-Based Autonomy

1 citations · 1 across the 12 of their papers we have counts for

collaborators

12 papers

cs.LG2026

Correcting Learning-based Perception for Safety

Yan Miao, Hussein Darir, Sayan Mitra

Learning-enabled perception is important in many autonomous systems. Unlike traditional sensors, the boundary where ML perception does or does not work is poorly characterized. Inc…

cs.RO2026

FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking

Yan Miao, Karteek Gandiboyina, Noah Giles +4

Vision-based aerial tracking is critical in GPS-denied environments. Reliable perception for tracking depends on large-scale labeled data, yet most photorealistic datasets rely on…

cs.RO2026

Task-Aware Environment Augmentation for Reliable Navigation via Shielded Conditional Diffusion

Bharawee Phoompho, Gokul Puthumanaillam, Yan Miao +4

Reliable trajectory planning under partial observability depends not only on computing a feasible geometric path, but also on whether the robot receives informative observations wh…

cs.LG2026

Factored Diffusion Policies:Compositionally Generalized Robot Control with a Single Score Network

Sayan Mitra, Ege Yuceel, Noah Giles +1

Robotic tasks are typically specified by a tuple of factors, such as the object to be grasped, the obstacles to be avoided, the color of the target, and so on. Collecting expert de…

eess.SY2026

Minimal Information Control Invariance via Vector Quantization

Ege Yuceel, Teodor Tchalakov, Sayan Mitra

Safety-critical autonomous systems must satisfy hard state constraints under tight computational and sensing budgets, yet learning-based controllers are often far more complex than…

cs.RO2026

FalconApp: Rapid iPhone Deployment of End-to-End Perception via Automatically Labeled Synthetic Data

Yan Miao, Will Shen, Sayan Mitra

Reliable perception for robotics depends on large-scale labeled data, yet real-world datasets rely on heavy manual annotation and are time-consuming to produce. We present FalconAp…

cs.RO2025

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0

Yan Miao, Ege Yuceel, Georgios Fainekos +3

Visual policy design is crucial for aerial navigation. However, state-of-the-art visual policies often overfit to a single track and their performance degrades when track geometry…

eess.SY2025★ 1 cited

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy

Jordan Peper, Yan Miao, Sayan Mitra +1

Precise and comprehensive situational awareness is a critical capability of modern autonomous systems. Deep neural networks that perceive task-critical details from rich sensory si…

cs.RO2025

FalconWing: An Ultra-Light Indoor Fixed-Wing UAV Platform for Vision-Based Autonomy

Yan Miao, Will Shen, Hang Cui +1

We introduce FalconWing, an ultra-light (150 g) indoor fixed-wing UAV platform for vision-based autonomy. Controlled indoor environment enables year-round repeatable UAV experiment…

cs.RO2025

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

Yan Miao, Will Shen, Sayan Mitra

We present a novel framework demonstrating zero-shot sim-to-real transfer of visual control policies learned in a Neural Radiance Field (NeRF) environment for quadrotors to fly thr…

cs.CV2024

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events

Yan Miao, Georgios Fainekos, Bardh Hoxha +3

Testing Automated Driving Systems (ADS) in simulation with realistic driving scenarios is important for verifying their performance. However, converting real-world driving videos i…

cs.AI2024

Can LLMs plan paths with extra hints from solvers?

Erik Wu, Sayan Mitra

Large Language Models (LLMs) have shown remarkable capabilities in natural language processing, mathematical problem solving, and tasks related to program synthesis. However, their…