English
Related papers

Related papers: Declarative Scenario-based Testing with RoadLogic

200 papers

Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and…

Multiagent Systems · Computer Science 2021-09-15 Marius Bozga , Joseph Sifakis

Cyber-physical systems like autonomous vehicles are tested in simulation before deployment, using domain-specific programs for scenario specification. To aid the testing of autonomous vehicles in simulation, we design a natural language…

Computation and Language · Computer Science 2025-09-09 Rimvydas Rubavicius , Antonio Valerio Miceli-Barone , Alex Lascarides , Subramanian Ramamoorthy

Testing and evaluation is a critical step in the development and deployment of connected and automated vehicles (CAVs), and yet there is no systematic framework to generate testing scenario library. This study aims to provide a general…

Systems and Control · Computer Science 2020-09-30 Shuo Feng , Yiheng Feng , Chunhui Yu , Yi Zhang , Henry X. Liu

With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge. The Verification and Validation (V&V) of these systems are particularly demanding when AI components are…

Logic in Computer Science · Computer Science 2023-11-17 Srajan Goyal , Alberto Griggio , Jacob Kimblad , Stefano Tonetta

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

Ensuring the safety of autonomous vehicles requires virtual scenario-based testing, which depends on the robust evaluation and generation of safety-critical scenarios. So far, researchers have used scenario-based testing frameworks that…

Artificial Intelligence · Computer Science 2025-07-21 Yuan Gao , Mattia Piccinini , Korbinian Moller , Amr Alanwar , Johannes Betz

The kind of closed-loop verification likely to be required for autonomous vehicle (AV) safety testing is beyond the reach of traditional test methodologies and discrete verification. Validation puts the autonomous vehicle system to the test…

Machine Learning · Computer Science 2020-05-29 Hyun Jae Cho , Madhur Behl

Scenario-based testing is considered state-of-the-art to verify and validate Advanced Driver Assistance Systems or Automated Driving Systems. Due to the official launch of the SOTIF-standard (ISO 21448), scenario-based testing becomes more…

Software Engineering · Computer Science 2023-08-09 Lukas Birkemeyer , Christian King , Ina Schaefer

Safety verification for autonomous vehicles (AVs) and ground robots is crucial for ensuring reliable operation given their uncertain environments. Formal language tools provide a robust and sound method to verify safety rules for such…

Robotics · Computer Science 2025-01-24 Aditya Parameshwaran , Yue Wang

Scenarios are a crucial element for developing, testing, and verifying autonomous driving systems. However, open-source scenarios are often formulated using different terminologies. This limits their usage across different applications as…

Robotics · Computer Science 2024-02-23 Yuanfei Lin , Michael Ratzel , Matthias Althoff

The development of new assessment methods for the performance of automated vehicles is essential to enable the deployment of automated driving technologies, due to the complex operational domain of automated vehicles. One contributing…

Artificial Intelligence · Computer Science 2024-08-28 E. de Gelder , J. -P. Paardekooper , A. Khabbaz Saberi , H. Elrofai , O. Op den Camp. , S. Kraines , J. Ploeg , B. De Schutter

Game-based interactive driving simulations have emerged as versatile platforms for advancing decision-making algorithms in road transport mobility. While these environments offer safe, scalable, and engaging settings for testing driving…

Robotics · Computer Science 2025-09-09 Zhihao Lin , Zhen Tian

Classical approaches and procedures for testing of automated vehicles of SAE levels 1 and 2 were based on defined scenarios with specific maneuvers, depending on the function under test. For automated driving systems (ADS) of SAE level 3+,…

Robotics · Computer Science 2021-05-24 Demin Nalic , Hexuan Li , Arno Eichberger , Christoph Wellershaus , Aleksa Pandurevic , Branko Rogic

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

The increasing complexity of automated driving functions and their growing operational design domains imply more demanding requirements on their validation. Classical methods such as field tests or formal analyses are not sufficient anymore…

Robotics · Computer Science 2024-05-15 Nicole Neis , Juergen Beyerer

How many scenarios are sufficient to validate the safe Operational Design Domain (ODD) of an Automated Driving System (ADS) equipped vehicle? Is a more significant number of sampled scenarios guaranteeing a more accurate safety assessment…

Robotics · Computer Science 2021-11-16 Bowen Weng , Linda Capito , Umit Ozguner , Keith Redmill

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

In order to ensure autonomous vehicles are safe for on-road deployment, simulation-based testing has become an integral complement to on-road testing. The rise in simulation testing and validation reflects a growing need to verify that AV…

Formal Languages and Automata Theory · Computer Science 2024-06-26 Devan Shanker

Verification and validation are major challenges for developing automated driving systems. A concept that gets more and more recognized for testing in automated driving is scenario-based testing. However, it introduces the problem of what…

Software Engineering · Computer Science 2022-05-18 Barbara Schütt , Marc Heinrich , Sonja Marahrens , J. Marius Zöllner , Eric Sax

Recent incidents with autonomous vehicles highlight the need for rigorous testing to ensure safety and robustness. Constructing test scenarios for autonomous driving systems (ADSs), however, is labor-intensive. We propose TARGET, an…

Software Engineering · Computer Science 2025-05-19 Yao Deng , Jiaohong Yao , Zhi Tu , Xi Zheng , Mengshi Zhang , Tianyi Zhang