51 citations · 53 across the 5 of their papers we have counts for
5 papers
Alignment Monitoring
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh +1
Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment mo…
HySafe-AI: Hybrid Safety Architectural Analysis Framework for AI Systems: A Case Study
Mandar Pitale, Jelena Frtunikj, Abhinaw Priyadershi +2
AI has become integral to safety-critical areas like autonomous driving systems (ADS) and robotics. The architecture of recent autonomous systems are trending toward end-to-end (E2…
ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures
Haoxuan Liu, Vasu Singh, Michał Filipiuk +1
Vision Transformers are being increasingly deployed in safety-critical applications that demand high reliability. It is crucial to ensure the correctness of their execution in spit…
Zhuyi: Perception Processing Rate Estimation for Safety in Autonomous Vehicles
Yu-Shun Hsiao, Siva Kumar Sastry Hari, Michał Filipiuk +5
The processing requirement of autonomous vehicles (AVs) for high-accuracy perception in complex scenarios can exceed the resources offered by the in-vehicle computer, degrading saf…
Practical Solutions for Machine Learning Safety in Autonomous Vehicles
Sina Mohseni, Mandar Pitale, Vasu Singh +1
Autonomous vehicles rely on machine learning to solve challenging tasks in perception and motion planning. However, automotive software safety standards have not fully evolved to a…