English
Related papers

Related papers: A Survey on Scenario-Based Testing for Automated D…

200 papers

Modern vehicles become increasingly digitalized with advanced information technology-based solutions like advanced driving assistance systems and vehicle-to-x communications. These systems are complex and interconnected. Rising complexity…

Safety validation is a crucial component in the development and deployment of autonomous systems, such as self-driving vehicles and robotic systems. Ensuring safe operation necessitates extensive testing and verification of control…

Systems and Control · Electrical Eng. & Systems 2023-05-11 Ali Baheri , Mykel J. Kochenderfer

With the rapid development of automated vehicles (AVs) in recent years, commercially available AVs are increasingly demonstrating high-level automation capabilities. However, most existing AV safety evaluation methods are primarily designed…

Robotics · Computer Science 2025-06-17 Hang Zhou , Chengyuan Ma , Shiyu Shen , Zhaohui Liang , Xiaopeng Li

Recent advances in foundation models (FMs), including large language models (LLMs), vision-language models (VLMs), and world models, have opened new opportunities for autonomous driving systems (ADSs) in perception, reasoning,…

Software Engineering · Computer Science 2026-04-03 Xiongfei Wu , Mingfei Cheng , Xiaoning Ren , Qiang Hu , Jianlang Chen , Yuheng Huang , Maxime Cordy , Yao Zhang , Xiaofei Xie , Lei Ma , Yves Le Traon

Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly challenging as they involve integrating complex driving…

Software Engineering · Computer Science 2023-11-03 Lev Sorokin , Tiziano Munaro , Damir Safin , Brian Hsuan-Cheng Liao , Adam Molin

Determining possible failure scenarios is a critical step in the evaluation of autonomous vehicle systems. Real-world vehicle testing is commonly employed for autonomous vehicle validation, but the costs and time requirements are high.…

Robotics · Computer Science 2019-08-08 Anthony Corso , Peter Du , Katherine Driggs-Campbell , Mykel J. Kochenderfer

Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which…

Systems and Control · Electrical Eng. & Systems 2019-08-08 Xunhua Dai , Chenxu Ke , Quan Quan , Kai-Yuan Cai

This work in progress considers reachability-based safety analysis in the domain of autonomous driving in multi-agent systems. We formulate the safety problem for a car following scenario as a differential game and study how different…

Systems and Control · Electrical Eng. & Systems 2021-12-30 Gilbert Bahati , Marsalis Gibson , Alexandre Bayen

A growing number of vehicles are being transformed into semi-autonomous vehicles (Level 2 autonomy) by relying on advanced driver assistance systems (ADAS) to improve the driving experience. However, the increasing complexity and…

Software Engineering · Computer Science 2022-07-06 Xugui Zhou , Anna Schmedding , Haotian Ren , Lishan Yang , Philip Schowitz , Evgenia Smirni , Homa Alemzadeh

In the past two decades, autonomous driving has been catalyzed into reality by the growing capabilities of machine learning. This paradigm shift possesses significant potential to transform the future of mobility and reshape our society as…

Robotics · Computer Science 2022-10-21 Richard Chakra

To operate safely, an automated vehicle (AV) must anticipate how the environment around it will evolve. For that purpose, it is important to know which prediction models are most appropriate for every situation. Currently, assessment of…

Artificial Intelligence · Computer Science 2022-10-14 Manuel Muñoz Sánchez , Jos Elfring , Emilia Silvas , René van de Molengraft

Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficiently generating effective tests for simulation-based AV…

Multiagent Systems · Computer Science 2020-08-31 Greg Chance , Abanoub Ghobrial , Severin Lemaignan , Tony Pipe , Kerstin Eder

This paper presents a scenario generation framework that creates diverse, parametrized, and safety-critical driving situations to validate the safety features of autonomous vehicles in simulation [15]. By modeling factors such as road…

Systems and Control · Electrical Eng. & Systems 2026-04-09 Kiruthiga Chandra Shekar , Aliasghar Moj Arab

Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, taking into account the fact that autopilots make decisions…

Software Engineering · Computer Science 2024-05-28 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as…

Machine Learning · Computer Science 2025-04-30 Christopher Watson , Rajeev Alur , Divya Gopinath , Ravi Mangal , Corina S. Pasareanu

Discovering potential failures of an autonomous system is important prior to deployment. Falsification-based methods are often used to assess the safety of such systems, but the cost of running many accurate simulation can be high. The…

Robotics · Computer Science 2023-10-03 Marc R. Schlichting , Nina V. Boord , Anthony L. Corso , Mykel J. Kochenderfer

As a part of the digital transformation, we interact with more and more intelligent gadgets. Today, these gadgets are often mobile devices, but in the advent of smart cities, more and more infrastructure---such as traffic and buildings---in…

Software Engineering · Computer Science 2020-12-17 Francesco Concas , Jukka K. Nurminen , Tommi Mikkonen , Sasu Tarkoma

It is hard to test autonomous robot (AR) software because of the range and diversity of external situations (terrain, obstacles, humans, peer robots) that AR must deal with. Common measures of testing adequacy may not address this…

Software Engineering · Computer Science 2019-11-18 Heather Hawkins , Rob Alexander

Generating adversarial safety-critical scenarios is a pivotal method for testing autonomous driving systems, as it identifies potential weaknesses and enhances system robustness and reliability. However, existing approaches predominantly…

Robotics · Computer Science 2025-03-03 Yukuan Yang , Xucheng Lu , Zhili Zhang , Zepeng Wu , Guoqi Li , Lingzhong Meng , Yunzhi Xue

Ensuring the safety of autonomous vehicles (AVs) is paramount in their development and deployment. Safety-critical scenarios pose more severe challenges, necessitating efficient testing methods to validate AVs safety. This study focuses on…

Robotics · Computer Science 2025-08-12 Rui Zhou