English
Related papers

Related papers: On the validation of complex systems operating in …

200 papers

Verification of algorithms and data structures utilized in modern autonomous and semi-autonomous vehicles for land, sea, air, and space presents a significant challenge. Autonomy algorithms, e.g., route planning, pattern matching, and…

Logic in Computer Science · Computer Science 2018-10-11 David Hardin , Konrad Slind

Autonomous vehicle (AV) algorithms need to be tested extensively in order to make sure the vehicle and the passengers will be safe while using it after the implementation. Testing these algorithms in real world create another important…

Robotics · Computer Science 2022-12-23 Sukru Yaren Gelbal , Bilin Aksun-Guvenc , Levent Guvenc

One of the fundamental challenges in the design of perception systems for autonomous vehicles is validating the performance of each algorithm under a comprehensive variety of operating conditions. In the case of vision-based semantic…

Computer Vision and Pattern Recognition · Computer Science 2019-04-17 Wei Zhou , Julie Stephany Berrio , Stewart Worrall , Eduardo Nebot

Autonomous vehicles (AVs) have significantly advanced in real-world deployment in recent years, yet safety continues to be a critical barrier to widespread adoption. Traditional functional safety approaches, which primarily verify the…

Modern vehicles have electrical architectures whose complexity grows year after year due to feature growth corresponding to customer expectations. The latest of the expectations, automation of the dynamic driving task however, is poised to…

Software Engineering · Computer Science 2020-01-09 Naveen Mohan

Fully autonomous vehicles (AVs) continue to spark immense global interest, yet predictions on when they will operate safely and broadly remain heavily debated. This paper synthesizes two distinct research traditions: computational…

Multiagent Systems · Computer Science 2025-01-28 Paul Perrone

Automated driving is currently a prominent area of scientific work. In the future, highly automated driving and new Advanced Driver Assistance Systems will become reality. While Advanced Driver Assistance Systems and automated driving…

Robotics · Computer Science 2025-10-29 Jorin Kouril , Bernd Schäufele , Ilja Radusch , Bettina Schnor

With autonomous vehicles (AVs), a major concern is the inability to give meaningful quantitative assurance of safety, to the extent required by society - e.g. that an AV must be at least as safe as a good human driver - before that AV is in…

Artificial Intelligence · Computer Science 2021-10-22 Peter Bishop , Andrey Povyakalo , Lorenzo Strigini

Software engineering practices for validating autonomous cyber-physical systems (e.g., Uncrewed Aerial Vehicles) remain fragmented across scenario design, simulation execution, and telemetry analysis, limiting traceability between…

Software Engineering · Computer Science 2026-04-14 Ankit Agrawal , Jithin Garapati , Bohan Zhang

Autonomous vehicles are the culmination of advances in many areas such as sensor technologies, artificial intelligence (AI), networking, and more. This paper will introduce the reader to the technologies that build autonomous vehicles. It…

Robotics · Computer Science 2023-02-15 Oussama Saoudi , Ishwar Singh , Hamidreza Mahyar

The field of high-speed autonomous racing has seen significant advances in recent years, with the rise of competitions such as RoboRace and the Indy Autonomous Challenge providing a platform for researchers to develop software stacks for…

Robotics · Computer Science 2025-03-14 Aron Harder , Amar Kulkarni , Madhur Behl

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

Software Engineering · Computer Science 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

With the development of autonomous driving, it is becoming increasingly common for autonomous vehicles (AVs) and human-driven vehicles (HVs) to travel on the same roads. Existing single-vehicle planning algorithms on board struggle to…

Robotics · Computer Science 2023-02-15 Licheng Wen , Pinlong Cai , Daocheng Fu , Song Mao , Yikang Li

Modern AI technologies enable autonomous vehicles to perceive complex scenes, predict human behavior, and make real-time driving decisions. However, these data-driven components often operate as black boxes, lacking interpretability and…

Robotics · Computer Science 2026-01-16 Oumaima Barhoumi , Mohamed H Zaki , Sofiène Tahar

The automotive industry has witnessed an increasing level of development in the past decades; from manufacturing manually operated vehicles to manufacturing vehicles with a high level of automation. With the recent developments in…

Human-Computer Interaction · Computer Science 2021-11-11 Daniel Omeiza , Helena Webb , Marina Jirotka , Lars Kunze

This paper presents an overview of Waymo's approach to building a reliable case for safety - a novel and thorough blueprint for use by any company building fully autonomous driving systems. A safety case for fully autonomous operations is a…

Ensuring the functional safety of motion planning modules in autonomous vehicles remains a critical challenge, especially when dealing with complex or learning-based software. Online verification has emerged as a promising approach to…

Robotics · Computer Science 2025-07-11 Korbinian Moller , Rafael Neher , Marvin Seegert , Johannes Betz

This paper describes the comprehensive safety framework that underpinned the development, release process, and regulatory approval of BMW's first SAE Level 3 Automated Driving System. The framework combines established qualitative and…

Robotics · Computer Science 2025-03-27 Moritz Werling , Rainer Faller , Wolfgang Betz , Daniel Straub

Despite extensive research, the testing of autonomous driving systems (ADS) landscape remains fragmented, and there is currently no basis for an informed technical assessment of the importance and contribution of the current state of the…

Software Engineering · Computer Science 2025-07-29 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

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