3 papers
cs.LG2026
Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems
Ayoosh Bansal, Mikael Yeghiazaryan, Artyom Khachatryan +4
Autonomous systems increasingly rely on machine-learning (ML) components for safety-critical tasks such as perception and control in autonomous vehicles (AVs). While ML enables ess…
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
Bayesian Data Augmentation and Training for Perception DNN in Autonomous Aerial Vehicles
Ashik E Rasul, Humaira Tasnim, Hyung-Jin Yoon +5
Learning-based solutions have enabled incredible capabilities for autonomous systems. Autonomous vehicles, both aerial and ground, rely on DNN for various integral tasks, including…