English
Related papers

Related papers: STADA: Specification-based Testing for Autonomous …

200 papers

Accurate behavior prediction for vehicles is essential but challenging for autonomous driving. Most existing studies show satisfying performance under regular scenarios, but most neglected safety-critical scenarios. In this study, a…

Computer Vision and Pattern Recognition · Computer Science 2024-08-06 Dongyang Xu , Yiran Luo , Tianle Lu , Qingfan Wang , Qing Zhou , Bingbing Nie

The introduction of automated vehicles without permanent human supervision demands a functional system description, including functional system boundaries and a comprehensive safety analysis. These inputs to the technical development can be…

Artificial Intelligence · Computer Science 2018-04-25 Gerrit Bagschik , Till Menzel , Markus Maurer

Current validation methods often rely on recorded data and basic functional checks, which may not be sufficient to encompass the scenarios an autonomous vehicle might encounter. In addition, there is a growing need for complex scenarios…

Robotics · Computer Science 2024-02-08 Marc Kaufeld , Rainer Trauth , Johannes Betz

Extensive simulation-based testing is important for assuring the safety of autonomous driving systems (ADS). However, generating safety-critical traffic scenarios remains challenging because failures often arise from rare, complex…

Software Engineering · Computer Science 2026-03-24 Dmytro Humeniuk , Mohammad Hamdaqa , Houssem Ben Braiek , Amel Bennaceur , Foutse Khomh

A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers…

Logic in Computer Science · Computer Science 2023-06-08 Craig Innes , Andrew Ireland , Yuhui Lin , Subramanian Ramamoorthy

Autonomous Vehicles (AVs) are prone to revolutionise the transportation industry. However, they must be thoroughly tested to avoid safety violations. Simulation testing plays a crucial role in finding safety violations of Automated Driving…

Software Engineering · Computer Science 2024-05-07 Victor Crespo-Rodriguez , Neelofar , Aldeida Aleti

Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated…

Systems and Control · Electrical Eng. & Systems 2022-05-09 Tong Zhao , Ekim Yurtsever , Joel Paulson , Giorgio Rizzoni

Developing reliable autonomous driving algorithms poses challenges in testing, particularly when it comes to safety-critical traffic scenarios involving pedestrians. An open question is how to simulate rare events, not necessarily found in…

Robotics · Computer Science 2023-09-04 Yuhang Yang , Kalle Kujanpaa , Amin Babadi , Joni Pajarinen , Alexander Ilin

Practical autonomous driving requires models that generalize by reasoning through spatial-temporal possibilities to exclude unsafe outcomes. While state-of-the-art (SOTA) methods use parallel planning architectures, they fail to explicitly…

Robotics · Computer Science 2026-05-12 Yanhao Wu , Haoyang Zhang , Fei He , Rui Wu , Yanhu Shan , Congpei Qiu , Liang Gao , Wei Ke , Tong Zhang

Rare, yet critical, scenarios pose a significant challenge in testing and evaluating autonomous driving planners. Relying solely on real-world driving scenes requires collecting massive datasets to capture these scenarios. While automatic…

Verification and validation of autonomous driving (AD) systems and components is of increasing importance, as such technology increases in real-world prevalence. Safety-critical scenario generation is a key approach to robustify AD policies…

Robotics · Computer Science 2025-07-15 Benjamin Stoler , Ingrid Navarro , Jonathan Francis , Jean Oh

Context: Simulation-based testing is a cost-efficient alternative to field testing for Autonomous Vehicles (AVs), but generating safety-critical test cases is challenging due to the vast search space. Prior work has studied static (road…

Software Engineering · Computer Science 2026-03-24 Victor Crespo-Rodriguez , Christian Birchler , Neelofar , Aldeida Aleti , Sebastiano Panichella

An open question in autonomous driving is how best to use simulation to validate the safety of autonomous vehicles. Existing techniques rely on simulated rollouts, which can be inefficient for finding rare failure events, while other…

Robotics · Computer Science 2020-06-29 Anthony Corso , Ritchie Lee , Mykel J. Kochenderfer

Autonomous driving systems (ADS) are safety-critical and require rigorous testing before public deployment. Simulation-based scenario testing provides a safe and cost-effective alternative to extensive on-road trials, enabling efficient…

Robotics · Computer Science 2026-02-19 Siyuan Chen , Fuyuan Zhang , Hua Qi , Lei Ma , Tomoyuki Tsuchiya , Michio Hayashi , Manabu Okada

Behavior prediction remains one of the most challenging tasks in the autonomous vehicle (AV) software stack. Forecasting the future trajectories of nearby agents plays a critical role in ensuring road safety, as it equips AVs with the…

Artificial Intelligence · Computer Science 2021-11-16 Francis Indaheng , Edward Kim , Kesav Viswanadha , Jay Shenoy , Jinkyu Kim , Daniel J. Fremont , Sanjit A. Seshia

The validation of highly automated, perception-based driving systems must ensure that they function correctly under the full range of real-world conditions. Scenario-based testing is a prominent approach to addressing this challenge, as it…

Robotics · Computer Science 2025-12-15 Steffen Schäfer , Martin Cichon

Before introducing an Automated Driving System (ADS) on the road at scale, the manufacturer must conduct some sort of safety assurance. To structure and harmonize the safety assurance process, the UNECE WP.29 Working Party on…

Robotics · Computer Science 2025-07-31 Olaf Op den Camp , Erwin de Gelder

This paper presents a new method for anomaly detection in automated systems with time and compute sensitive requirements, such as autonomous driving, with unparalleled efficiency. As systems like autonomous driving become increasingly…

Computer Vision and Pattern Recognition · Computer Science 2025-03-12 Andrew Gao , Jun Liu

Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety critical domain, since errors in the autonomous driving software can lead to huge losses. Statistically, road intersections which are a part of the AVs operational…

Robotics · Computer Science 2022-05-06 Zaid Tahir , Rob Alexander

Robotics foundation models have demonstrated strong capabilities in executing natural language instructions across diverse tasks and environments. However, they remain largely data-driven and lack formal guarantees on safety and…

Robotics · Computer Science 2026-03-19 Sadık Bera Yüksel , Derya Aksaray