2 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…