24 citations · 62 across the 12 of their papers we have counts for
3 papers · 1 filter
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults
Ayoosh Bansal, Hunmin Kim, Simon Yu +4
Advances in deep learning have revolutionized cyber-physical applications, including the development of Autonomous Vehicles. However, real-world collisions involving autonomous con…
Verifiable Obstacle Detection
Ayoosh Bansal, Hunmin Kim, Simon Yu +4
Perception of obstacles remains a critical safety concern for autonomous vehicles. Real-world collisions have shown that the autonomy faults leading to fatal collisions originate f…
Ellipsis: Towards Efficient System Auditing for Real-Time Systems
Ayoosh Bansal, Anant Kandikuppa, Chien-Ying Chen +3
System auditing is a powerful tool that provides insight into the nature of suspicious events in computing systems, allowing machine operators to detect and subsequently investigat…