Verifiable Obstacle Detection

30 August 2022

Papers citing "Verifiable Obstacle Detection"

25 / 25 papers shown

Title
Drive&Segment: Unsupervised Semantic Segmentation of Urban Scenes via Cross-modal Distillation Antonín Vobecký David Hurych Oriane Siméoni Spyros Gidaris Andrei Bursuc Patrick Pérez Josef Sivic 3DPC 62 21 0 21 Mar 2022
LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving Jiyang Chen S. Yu Rohan Tabish Ayoosh Bansal Shengzhong Liu Tarek Abdelzaher L. Sha 55 4 0 18 Nov 2021
Introduction to Neural Network Verification Aws Albarghouthi AAML 75 90 0 21 Sep 2021
Knowledge Enhanced Machine Learning Pipeline against Diverse Adversarial Attacks Nezihe Merve Gürel Xiangyu Qi Luka Rimanic Ce Zhang Yue Liu AAML 41 39 0 11 Jun 2021
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles Ayoosh Bansal Jayati Singh M. Verucchi Marco Caccamo L. Sha 36 22 0 08 Jun 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 59 57 0 06 Apr 2021
Adversarial Attacks on Camera-LiDAR Models for 3D Car Detection Mazen Abdelfattah Kaiwen Yuan Z. J. Wang Rabab Ward 3DPC 86 32 0 17 Mar 2021
Unsupervised Object Detection with LiDAR Clues Haofei Tian Yuntao Chen Jifeng Dai Zhaoxiang Zhang Xizhou Zhu 3DPC 66 28 0 25 Nov 2020
DeepDyve: Dynamic Verification for Deep Neural Networks Yu Li Min Li Bo Luo Ye Tian Qiang Xu AAML 58 31 0 21 Sep 2020
Lidar for Autonomous Driving: The principles, challenges, and trends for automotive lidar and perception systems You Li J. Ibañez-Guzmán 61 555 0 17 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 51 129 0 12 Apr 2020
Physically Realizable Adversarial Examples for LiDAR Object Detection James Tu Mengye Ren S. Manivasagam Ming Liang Binh Yang Richard Du Frank Cheng R. Urtasun 3DPC 64 239 0 01 Apr 2020
Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks Oliver Willers Sebastian Sudholt Shervin Raafatnia Stephanie Abrecht 85 80 0 22 Jan 2020
Scalability in Perception for Autonomous Driving: Waymo Open Dataset Pei Sun Henrik Kretzschmar Xerxes Dotiwalla Aurelien Chouard Vijaysai Patnaik ... Shuyang Cheng Yu Zhang Jonathon Shlens Zhifeng Chen Dragomir Anguelov 134 2,885 0 10 Dec 2019
Adversarial Objects Against LiDAR-Based Autonomous Driving Systems Yulong Cao Chaowei Xiao Dawei Yang Jin Fang Ruigang Yang Mingyan D. Liu Yue Liu 3DPC AAML 71 140 0 11 Jul 2019
Weather Influence and Classification with Automotive Lidar Sensors Robin Heinzler Philipp Schindler Jürgen Seekircher W. Ritter W. Stork 47 168 0 18 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 94 400 0 15 Mar 2019
Pseudo-LiDAR from Visual Depth Estimation: Bridging the Gap in 3D Object Detection for Autonomous Driving Yan Wang Wei-Lun Chao Divyansh Garg Bharath Hariharan M. Campbell Kilian Q. Weinberger 3DPC 110 999 0 18 Dec 2018
Occlusion-Aware Risk Assessment for Autonomous Driving in Urban Environments Ming-Yuan Yu Ram Vasudevan Matthew Johnson-Roberson 41 92 0 12 Sep 2018
Fusion of an Ensemble of Augmented Image Detectors for Robust Object Detection Pan Wei J. Ball Derek T. Anderson 45 28 0 17 Mar 2018
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Yuchi Tian Kexin Pei Suman Jana Baishakhi Ray AAML 61 1,359 0 28 Aug 2017
Evasion Attacks against Machine Learning at Test Time Battista Biggio Igino Corona Davide Maiorca B. Nelson Nedim Srndic Pavel Laskov Giorgio Giacinto Fabio Roli AAML 157 2,153 0 21 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 318 1,868 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 219 943 0 21 Oct 2016
Engineering Safety in Machine Learning Kush R. Varshney 67 116 0 16 Jan 2016