1

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
Precise and comprehensive situational awareness is a critical capability of modern autonomous systems. Deep neural networks that …
Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin
PDF Cite
FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation
We present the first framework demonstrating zero-shot sim-to-real transfer of visual control policies learned in a Neural Radiance …
Yan Miao, Will Shen, Sayan Mitra
PDF Cite Video
FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
Testing Automated Driving Systems (ADS) in simulation with realistic driving scenarios is important for verifying their performance. …
Yan Miao, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil Prokhorov, Sayan Mitra
PDF Cite Video
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
Watch out for the risky actors: Assessing risk in dynamic environments for safe driving
Driving in a dynamic environment that consists of other actors is inherently a risky task as each actor influences the driving decision …
Saurabh Jha, Yan Miao, Zbigniew Kalbarczyk, Ravishankar Iyer
PDF Cite
Watch out for the risky actors: Assessing risk in dynamic environments for safe driving