Monitoring and Diagnosability of Perception Systems

11 November 2020

Papers citing "Monitoring and Diagnosability of Perception Systems"

17 / 17 papers shown

Title
Towards Resilient Autonomous Navigation of Drones Angel Santamaria-Navarro Rohan Thakker David D. Fan B. Morrell Ali-akbar Agha-mohammadi 37 50 0 21 Aug 2020
Outlier-Robust Estimation: Hardness, Minimally Tuned Algorithms, and Applications Pasquale Antonante Vasileios Tzoumas Heng Yang Luca Carlone 42 54 0 29 Jul 2020
Heterogeneous Verification of an Autonomous Curiosity Rover R. C. Cardoso M. Farrell Matt Luckcuck Angelo Ferrando Michael Fisher 30 27 0 20 Jul 2020
One Ring to Rule Them All: Certifiably Robust Geometric Perception with Outliers Heng Yang Luca Carlone 54 32 0 11 Jun 2020
TEASER: Fast and Certifiable Point Cloud Registration Heng Yang Jingang Shi Luca Carlone 3DPC 177 662 0 21 Jan 2020
In Perfect Shape: Certifiably Optimal 3D Shape Reconstruction from 2D Landmarks Heng Yang Luca Carlone 3DV 39 37 0 27 Nov 2019
A Polynomial-time Solution for Robust Registration with Extreme Outlier Rates Heng Yang Luca Carlone 3DV 29 105 0 20 Mar 2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems T. Dreossi Daniel J. Fremont Shromona Ghosh Edward J. Kim H. Ravanbakhsh Marcell Vazquez-Chanlatte Sanjit A. Seshia 29 29 0 12 Feb 2019
Modeling Perceptual Aliasing in SLAM via Discrete-Continuous Graphical Models Pierre-Yves Lajoie Siyi Hu Giovanni Beltrame Luca Carlone 46 82 0 27 Oct 2018
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia 51 250 0 25 Sep 2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey Matt Luckcuck M. Farrell Louise A. Dennis C. Dixon Michael Fisher 92 157 0 29 Jun 2018
Self-Driving Vehicle Verification Towards a Benchmark Nima Roohi R. Kaur James Weimer O. Sokolsky Insup Lee 22 15 0 20 Jun 2018
On a Formal Model of Safe and Scalable Self-driving Cars Shai Shalev-Shwartz Shaked Shammah Amnon Shashua 30 736 0 21 Aug 2017
Systematic Testing of Convolutional Neural Networks for Autonomous Driving T. Dreossi Shromona Ghosh Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia 43 60 0 10 Aug 2017
Towards Verified Artificial Intelligence Sanjit A. Seshia Dorsa Sadigh S. Shankar Sastry 36 204 0 27 Jun 2016
Past, Present, and Future of Simultaneous Localization And Mapping: Towards the Robust-Perception Age Cesar Cadena Luca Carlone Henry Carrillo Yasir Latif Davide Scaramuzza José Neira Ian Reid J. Leonard 80 2,911 0 19 Jun 2016
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots Stefan Mitsch Khalil Ghorbal David Vogelbacher André Platzer 19 84 0 02 May 2016