Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to
the Real World

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

17 March 2020

Daniel J. Fremont

Yash Vardhan Pant

Papers citing "Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World"

16 / 16 papers shown

Title
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception Christopher Watson Rajeev Alur Divya Gopinath Ravi Mangal C. Păsăreanu 53 0 0 29 Apr 2025
Flow to Rare Events: An Application of Normalizing Flow in Temporal Importance Sampling for Automated Vehicle Validation Yichun Ye He Zhang Ye Tian Jian-jun Sun 36 0 0 10 Jul 2024
Realistic Safety-critical Scenarios Search for Autonomous Driving System via Behavior Tree Ping Zhang Lingfeng Ming Ting Yuan Cong Qiu Yang Li Xinhua Hui Zhi-qin Zhang Chao Huang 16 1 0 11 May 2023
Drive Right: Promoting Autonomous Vehicle Education Through an Integrated Simulation Platform Zhijie Qiao Helen Loeb Venkata Gurrla Matt Lebermann Johannes Betz Rahul Mangharam 8 2 0 16 Feb 2023
Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations Osama Maqbool J. Roßmann AI4CE 25 0 0 03 Jan 2023
Effects of Sim2Real Image Translation on Lane Keeping Assist System in CARLA Simulator Jinu Pahk Jungseok Shim MinHyeok Baek Yongseob Lim Gyeungho Choi 19 0 0 23 Nov 2022
RaLiBEV: Radar and LiDAR BEV Fusion Learning for Anchor Box Free Object Detection Systems Yanlong Yang Jianan Liu Tao Huang Qinghua Han Gang Ma Bing Zhu 32 25 0 11 Nov 2022
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 28 11 0 04 Nov 2022
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing Seulbae Kim Major Liu J. Rhee Yuseok Jeon Yonghwi Kwon C. Kim 19 42 0 25 Oct 2022
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic Mohammad Hekmatnejad Bardh Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos 18 6 0 29 Jun 2022
A Survey on Safety-Critical Driving Scenario Generation -- A Methodological Perspective Wenhao Ding Chejian Xu Mansur Arief Hao-ming Lin Bo-wen Li Ding Zhao 30 142 0 04 Feb 2022
Statistical Perspectives on Reliability of Artificial Intelligence Systems Yili Hong J. Lian Li Xu Jie Min Yueyao Wang Laura J. Freeman Xinwei Deng 25 30 0 09 Nov 2021
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation Francis Indaheng Edward Kim Kesav Viswanadha Jay Shenoy Jinkyu Kim Daniel J. Fremont S. Seshia 20 9 0 28 Oct 2021
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework M. Bozga J. Sifakis 30 7 0 14 Sep 2021
Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont Edward J. Kim T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 25 97 0 13 Oct 2020
Counterexample-Guided Synthesis of Perception Models and Control Shromona Ghosh Yash Vardhan Pant H. Ravanbakhsh S. Seshia 16 14 0 04 Nov 2019