36 citations · 82 across the 11 of their papers we have counts for
3 papers · 1 filter
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…
Learning Density Distribution of Reachable States for Autonomous Systems
Yue Meng, Dawei Sun, Zeng Qiu +2
State density distribution, in contrast to worst-case reachability, can be leveraged for safety-related problems to better quantify the likelihood of the risk for potentially hazar…
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar +1
In this paper, we consider the problem of using a robot to explore an environment with an unknown, state-dependent disturbance function while avoiding some forbidden areas. The goa…