English
Related papers

Related papers: Testing predictive automated driving systems: less…

200 papers

Verification and validation of vehicles is a complex yet critical process, particularly for ensuring safety and coverage through simulations. However, achieving realistic and useful simulations comes with significant challenges. To explore…

Software Engineering · Computer Science 2025-08-21 Beatriz Cabrero-Daniel , Mazen Mohamad

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

Automated vehicles (AVs) are expected to increase traffic safety and traffic efficiency, among others by enabling flexible mobility-on-demand systems. This is particularly important in Singapore, being one of the world's most densely…

Robotics · Computer Science 2021-12-20 J. Ploeg , E. de Gelder , M. Slavík , E. Querner , T. Webster , N. de Boer

As software becomes increasingly pervasive in critical domains like autonomous driving, new challenges arise, necessitating rethinking of system engineering approaches. The gradual takeover of all critical driving functions by autonomous…

Software Engineering · Computer Science 2023-08-22 Dasa Kusnirakova , Barbora Buhnova

Automated vehicles (AVs) must be evaluated thoroughly before their release and deployment. A widely-used evaluation approach is the Naturalistic-Field Operational Test (N-FOT), which tests prototype vehicles directly on the public roads.…

Robotics · Computer Science 2016-11-18 Ding Zhao , Henry Lam , Huei Peng , Shan Bao , David J. LeBlanc , Kazutoshi Nobukawa , Christopher S. Pan

We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the behaviour of an ADS in the specified traffic scenario. The…

Artificial Intelligence · Computer Science 2022-11-24 Renjue Li , Tianhang Qin , Pengfei Yang , Cheng-Chao Huang , Youcheng Sun , Lijun Zhang

By using the onboard sensing and external connectivity technology, connected and automated vehicles (CAV) could lead to improved energy efficiency, better routing, and lower traffic congestion. With the rapid development of the technology…

Other Computer Science · Computer Science 2018-09-10 Yan Chang , Weiqing Yang , Ding Zhao

Embodied AI systems, comprising AI models and physical plants, are increasingly prevalent across various applications. Due to the rarity of system failures, ensuring their safety in complex operating environments remains a major challenge,…

Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We need well-founded criteria showing that simulation does…

Software Engineering · Computer Science 2023-01-24 Changwen Li , Joseph Sifakis , Qiang Wang , Rongjie Yan , Jian Zhang

Planning safe motions for legged robots requires sophisticated safety verification tools. However, designing such tools for such complex systems is challenging due to the nonlinear and high-dimensional nature of these systems' dynamics. In…

Robotics · Computer Science 2022-02-28 Junhyeok Ahn , Seung Hyeon Bang , Carlos Gonzalez , Yuanchen Yuan , Luis Sentis

As automated vehicles and their technology become more advanced and technically sophisticated, evaluation procedures that can measure the safety and reliability of these new driverless cars must develop far beyond existing safety tests. To…

Human-Computer Interaction · Computer Science 2017-07-18 Ding Zhao , Huei Peng

Evaluating the robustness of automated driving planners is a critical and challenging task. Although methodologies to evaluate vehicles are well established, they do not yet account for a reality in which vehicles with autonomous components…

Cryptography and Security · Computer Science 2022-05-31 Andres Molina-Markham , Silvia G. Ionescu , Erin Lanus , Derek Ng , Sam Sommerer , Joseph J. Rushanan

Automated vehicles promise to enhance transportation safety and efficiency. However, ensuring their reliability in real-world conditions remains challenging, particularly due to rare and unexpected situations known as edge cases. While…

This paper focuses on safety performance testing and characterization of black-box highly automated vehicles (HAV). Existing testing approaches typically obtain the testing outcomes by deploying the HAV into a specific testing environment.…

Robotics · Computer Science 2024-02-05 Minghao Zhu , Anmol Sidhu , Keith A. Redmill

Testing autonomous driving systems for safety and reliability is extremely complex. A primary challenge is identifying the relevant test scenarios, especially the critical ones that may expose hazards or risks of harm to autonomous vehicles…

Software Engineering · Computer Science 2023-05-24 Qunying Song , Emelie Engström , Per Runeson

We present recent advances in formal verification and control for autonomous systems with practical safety guarantees enabled by conformal prediction (CP), a statistical tool for uncertainty quantification. This survey is particularly…

Systems and Control · Electrical Eng. & Systems 2025-08-19 Lars Lindemann , Yiqi Zhao , Xinyi Yu , George J. Pappas , Jyotirmoy V. Deshmukh

Autonomous driving systems (ADSs) promise improved transportation efficiency and safety, yet ensuring their reliability in complex real-world environments remains a critical challenge. Effective testing is essential to validate ADS…

Computers and Society · Computer Science 2025-12-16 Yihan Liao , Jingyu Zhang , Jacky Keung , Yan Xiao , Yurou Dai

Autonomous systems require identifying the environment and it has a long way to go before putting it safely into practice. In autonomous driving systems, the detection of obstacles and traffic lights are of importance as well as lane…

Robotics · Computer Science 2021-06-30 Namig Aliyev , Oguzhan Sezer , Mehmet Turan Guzel

Perception systems, especially cameras, are the eyes of automated driving systems. Ensuring that they function reliably and robustly is therefore an important building block in the automation of vehicles. There are various approaches to…

Computer Vision and Pattern Recognition · Computer Science 2024-07-15 Philipp Rigoll , Laurenz Adolph , Lennart Ries , Eric Sax

The scope of automotive functions has grown from a single-vehicle as an entity to multiple vehicles working together as an entity, referred to as cooperative driving. The current automotive safety standard, ISO 26262, is designed for single…

Software Engineering · Computer Science 2021-05-04 Sangeeth Kochanthara , Niels Rood , Arash Khabbaz Saberi , Loek Cleophas , Yanja Dajsuren , Mark van den Brand