36 citations · 82 across the 11 of their papers we have counts for
Showing 2021 · cs.ROShow all
2 papers · 2 filters
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…
cs.RO2021★ 2 cited
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…