English
Related papers

Related papers: Bootstrapping confidence in future safety based on…

200 papers

Connected Autonomous Vehicles have great potential to improve automobile safety and traffic flow, especially in cooperative applications where perception data is shared between vehicles. However, this cooperation must be secured from…

Robotics · Computer Science 2024-09-05 Edward Andert , Francis Mendoza , Hans Walter Behrens , Aviral Shrivastava

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

Autonomous Vehicles (AV) are expected to bring considerable benefits to society, such as traffic optimization and accidents reduction. They rely heavily on advances in many Artificial Intelligence (AI) approaches and techniques. However,…

Reasoning about safety, security, and other dependability attributes of autonomous systems is a challenge that needs to be addressed before the adoption of such systems in day-to-day life. Formal methods is a class of methods that…

Artificial Intelligence · Computer Science 2023-11-17 Ashfaq Farooqui , Behrooz Sangchoolie

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,…

Despite the increasing testing operations of automated vehicles on public roads, media reports on incidents show that safety issues caused by automated driving systems persist to this day. Manufacturers face high development uncertainty…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Marvin Loba , Nayel Fabian Salem , Marcus Nolte , Andreas Dotzler , Dieter Ludwig , Markus Maurer

Automated driving (AD) is promising, but the transition to fully autonomous driving is, among other things, subject to the real, ever-changing open world and the resulting challenges. However, research in the field of AD demonstrates the…

Robotics · Computer Science 2026-02-02 Lars Ullrich , Michael Buchholz , Klaus Dietmayer , Knut Graichen

This chapter explores the complex realm of autonomous cars, analyzing their fundamental components and operational characteristics. The initial phase of the discussion is elucidating the internal mechanics of these automobiles, encompassing…

Computational Engineering, Finance, and Science · Computer Science 2023-09-26 Md Aminul Islam , Sarah Alqahtani

Recent transportation research highlights the potential of autonomous vehicles (AV) to improve traffic flow mobility as they are able to maintain smaller car-following distances. However, as a unique class of ground robots, AVs are…

Robotics · Computer Science 2025-07-09 Hangyu Li , Xiaotong Sun , Chenglin Zhuang , Xiaopeng Li

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

Autonomous vehicles are a growing technology that aims to enhance safety, accessibility, efficiency, and convenience through autonomous maneuvers ranging from lane change to overtaking. Overtaking is one of the most challenging maneuvers…

Robotics · Computer Science 2024-10-28 Ehsan Malayjerdi , Gokhan Alcan , Eshagh Kargar , Hatem Darweesh , Raivo Sell , Ville Kyrki

Despite the advances in the autonomous driving domain, autonomous vehicles (AVs) are still inefficient and limited in terms of cooperating with each other or coordinating with vehicles operated by humans. A group of autonomous and…

Robotics · Computer Science 2022-04-06 Behrad Toghi , Rodolfo Valiente , Dorsa Sadigh , Ramtin Pedarsani , Yaser P. Fallah

Shared autonomy enables robots to infer user intent and assist in accomplishing it. But when the user wants to do a new task that the robot does not know about, shared autonomy will hinder their performance by attempting to assist them with…

Robotics · Computer Science 2021-04-15 Matthew Zurek , Andreea Bobu , Daniel S. Brown , Anca D. Dragan

Modern-day autonomous vehicles are increasingly becoming complex multidisciplinary systems composed of mechanical, electrical, electronic, computing and information sub-systems. Furthermore, the individual constituent technologies employed…

Robotics · Computer Science 2024-10-22 Chinmay Vilas Samak , Tanmay Vilas Samak , Venkat Krovi

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

For over a century, researchers have wrestled with how to define good driving behavior, and the debate has surfaced anew for automated vehicles (AVs). We put forth the concept of Drivership as a framing for the realization of good driving…

Computers and Society · Computer Science 2025-02-13 Laura Fraade-Blanar , Francesca Favarò , Johan Engstrom , Melissa Cefkin , Ryan Best , John Lee , Trent Victor

This paper presents Bayesian techniques for conservative claims about software reliability, particularly when evidence suggests the software's executions are not statistically independent. We formalise informal notions of "doubting" that…

Software Engineering · Computer Science 2023-10-12 Kizito Salako , Xingyu Zhao

Ensuring safe autonomy is crucial for deploying aerial robots in real-world applications. However, safety is a multifaceted challenge that must be addressed from multiple perspectives, including navigation in dynamic environments, operation…

Autonomous systems are becoming an integral part of many application domains, like in the mobility sector. However, ensuring their safe and correct behaviour in dynamic and complex environments remains a significant challenge, where systems…

Artificial Intelligence · Computer Science 2025-07-16 Selma Saidi , Omar Laimona , Christoph Schmickler , Dirk Ziegenbein

Trajectory prediction is one of the key components of the autonomous driving software stack. Accurate prediction for the future movement of surrounding traffic participants is an important prerequisite for ensuring the driving efficiency…

Robotics · Computer Science 2023-05-17 Wenbo Shao , Jun Li , Hong Wang