36 citations · 36 across the 3 of their papers we have counts for
3 papers
cs.SE2024
FastFlip: Compositional Error Injection Analysis
Keyur Joshi, Rahul Singh, Tommaso Bassetto +3
Instruction-level error injection analyses aim to find instructions where errors often lead to unacceptable outcomes like Silent Data Corruptions (SDCs). These analyses require sig…
eess.SY2022
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
Keyur Joshi, Chiao Hsieh, Sayan Mitra +1
Modern autonomous vehicle systems use complex perception and control components. These components can rapidly change during development of such systems, requiring constant re-testi…
cs.RO2021★ 36 cited
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Chiao Hsieh, Keyur Joshi, Sasa Misailovic +1
Convolutional Neural Networks (CNN) for object detection, lane detection, and segmentation now sit at the head of most autonomy pipelines, and yet, their safety analysis remains an…