English
Related papers

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

200 papers

With growing complexity and criticality of automated driving functions in road traffic and their operational design domains (ODD), there is increasing demand for covering significant proportions of development, validation, and verification…

In the simulation-based testing and evaluation of autonomous vehicles (AVs), how background vehicles (BVs) drive directly influences the AV's driving behavior and further impacts the testing result. Existing simulation platforms use either…

Systems and Control · Electrical Eng. & Systems 2021-02-05 Lin Liu , Shuo Feng , Yiheng Feng , Xichan Zhu , Henry X. Liu

Automated Driving System (ADS) is a safety-critical software system responsible for the interpretation of the vehicle's environment and making decisions accordingly. The unbounded complexity of the driving context, including unforeseeable…

Autonomous Vehicles (AV)'s wide-scale deployment appears imminent despite many safety challenges yet to be resolved. The modern autonomous vehicles will undoubtedly include machine learning and probabilistic techniques that add significant…

Robotics · Computer Science 2022-03-16 Dhanoop Karunakaran , Julie Stephany Berrio , Stewart Worrall , Eduardo Nebot

Scenario-based testing is becoming increasingly important in safety assurance for automated driving. However, comprehensive and sufficiently complete coverage of the scenario space requires significant effort and resources if using only…

Software Engineering · Computer Science 2023-07-24 Christoph Glasmacher , Michael Schuldes , Hendrik Weber , Nicolas Wagener , Lutz Eckstein

Scenario-based testing is considered state-of-the-art for verifying and validating Advanced Driver Assistance Systems (ADASs) and Automated Driving Systems (ADSs). However, the practical application of scenario-based testing requires an…

Software Engineering · Computer Science 2024-06-07 Joshua Ransiek , Johannes Plaum , Jacob Langner , Eric Sax

Controllable video generation has emerged as a versatile tool for autonomous driving, enabling realistic synthesis of traffic scenarios. However, existing methods depend on control signals at inference time to guide the generative model…

Computer Vision and Pattern Recognition · Computer Science 2026-02-06 Mirlan Karimov , Teodora Spasojevic , Markus Braun , Julian Wiederer , Vasileios Belagiannis , Marc Pollefeys

There have been major developments in Automated Driving (AD) and Driving Assist Systems (ADAS) in recent years. However, their safety assurance, thus methodologies for testing, verification and validation AD/ADAS safety-critical…

Software Engineering · Computer Science 2023-11-08 Hasan Esen , Brian Hsuan-Cheng Liao

Interaction between the background vehicles (BVs) and automated vehicles (AVs) in scenario-based testing plays a critical role in evaluating the intelligence of the AVs. Current testing scenarios typically employ predefined or scripted BVs,…

Systems and Control · Electrical Eng. & Systems 2023-06-13 Yining Ma , Wei Jiang , Lingtong Zhang , Junyi Chen , Hong Wang , Chen Lv , Xuesong Wang , Lu Xiong

To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on…

Optimization and Control · Mathematics 2023-03-10 Adam Molin , Edgar A. Aguilar , Dejan Ničković , Mengjia Zhu , Alberto Bemporad , Hasan Esen

Recent research on testing autonomous driving agents has grown significantly, especially in simulation environments. The CARLA simulator is often the preferred choice, and the autonomous agents from the CARLA Leaderboard challenge are…

Software Engineering · Computer Science 2025-03-14 Masoud Jamshidiyan Tehrani , Jinhan Kim , Paolo Tonella

Autonomous systems such as self-driving cars rely on sensors to perceive the surrounding world. Measures must be taken against attacks on sensors, which have been a hot topic in the last few years. For that goal one must first evaluate how…

Cryptography and Security · Computer Science 2021-03-15 Koichi Shimizu , Daisuke Suzuki , Ryo Muramatsu , Hisashi Mori , Tomoyuki Nagatsuka , Tsutomu Matsumoto

This paper presents a novel two-level control architecture for a fully autonomous vehicle in a deterministic environment, which can handle traffic rules as specifications and low-level vehicle control with real-time performance. At the top…

Robotics · Computer Science 2021-05-07 Erfan Aasi , Cristian Ioan Vasile , Calin Belta

Ensuring the safety of road vehicles at an acceptable level requires the absence of any unreasonable risk arising from all potential hazards linked to the intended au-tomated driving function and its implementation. The assurance that there…

Robotics · Computer Science 2025-05-28 Christian Reichenbächer , Jochen Hipp , Oliver Bringmann

Autonomous driving faces critical challenges in rare long-tail events and complex multi-agent interactions, which are scarce in real-world data yet essential for robust safety validation. This paper presents a high-fidelity scenario…

Machine Learning · Computer Science 2025-11-27 Yuhang Wang , Heye Huang , Zhenhua Xu , Kailai Sun , Baoshen Guo , Jinhua Zhao

Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently, substantial research has focused on searching for failure scenarios in simulation. However, a…

Computer Vision and Pattern Recognition · Computer Science 2021-12-02 Edward Kim , Jay Shenoy , Sebastian Junges , Daniel Fremont , Alberto Sangiovanni-Vincentelli , Sanjit Seshia

Ensuring the quality of automated driving systems is a major challenge the automotive industry is facing. In this context, quality defines the degree to which an object meets expectations and requirements. Especially, automated vehicles at…

Software Engineering · Computer Science 2022-04-11 Barbara Schütt , Markus Steimle , Birte Kramer , Danny Behnecke , Eric Sax

Evaluating the safety of autonomous vehicles (AVs) requires diverse, safety-critical scenarios, with collisions being especially important yet rare and unsafe to collect in the real world. Therefore, the community has been focusing on…

Robotics · Computer Science 2026-02-24 Pin-Lun Chen , Chi-Hsi Kung , Che-Han Chang , Wei-Chen Chiu , Yi-Ting Chen

Autonomous vehicles have the potential to lower the accident rate when compared to human driving. Moreover, it is the driving force of the automated vehicles' rapid development over the last few years. In the higher Society of Automotive…

Robotics · Computer Science 2022-08-30 Dhanoop Karunakaran , Julie Stephany Berrio , Stewart Worrall , Eduardo Nebot

The MUSICC project has created a proof-of-concept scenario database to be used as part of a type approval process for the verification of automated driving systems (ADS). This process must include a highly automated means of evaluating test…

Robotics · Computer Science 2020-05-27 Robert Myers , Zeyn Saigol