Counterexample-Guided Synthesis of Perception Models and Control

4 November 2019

Papers citing "Counterexample-Guided Synthesis of Perception Models and Control"

4 / 4 papers shown

Title
Perceive With Confidence: Statistical Safety Assurances for Navigation with Learning-Based Perception Anushri Dixit Zhiting Mei Meghan Booker Mariko Storey-Matsutani Mariko Storey-Matsutani Allen Z. Ren Ola Shorinwa Anirudha Majumdar 29 5 0 13 Mar 2024
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study C. Păsăreanu Ravi Mangal D. Gopinath Sinem Getir Yaman Calum Imrie R. Calinescu Huafeng Yu 32 29 0 06 Feb 2023
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 30 11 0 04 Nov 2022
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World Daniel J. Fremont Edward Kim Yash Vardhan Pant S. Seshia Atul Acharya Xantha Bruso Paul Wells Steve Lemke Q. Lu Shalin Mehta 76 124 0 17 Mar 2020