English
Related papers

Related papers: Specification and Validation of Autonomous Driving…

200 papers

In complex autonomous driving (AD) software systems, the functioning of each system part is crucial for safe operation. By measuring the current functionality or operability of individual components an isolated glimpse into the system is…

Robotics · Computer Science 2025-06-04 Stefan Orf , Sven Ochs , Valentin Marotta , Oliver Conder , Marc René Zofka , J. Marius Zöllner

Autonomous vehicles demand detailed maps to maneuver reliably through traffic, which need to be kept up-to-date to ensure a safe operation. A promising way to adapt the maps to the ever-changing road-network is to use crowd-sourced data…

Robotics · Computer Science 2024-10-11 Markus Herb , Nassir Navab , Federico Tombari

Recent advancements in autonomous driving (AD) have explored the use of vision-language models (VLMs) within visual question answering (VQA) frameworks for direct driving decision-making. However, these approaches often depend on…

Computer Vision and Pattern Recognition · Computer Science 2025-11-19 Xin Hu , Taotao Jing , Renran Tian , Zhengming Ding

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

High-definition (HD) maps are essential in testing autonomous driving systems (ADSs). HD maps essentially determine the potential diversity of the testing scenarios. However, the current HD maps suffer from two main limitations: lack of…

Software Engineering · Computer Science 2022-06-22 Yun Tang , Yuan Zhou , Kairui Yang , Ziyuan Zhong , Baishakhi Ray , Yang Liu , Ping Zhang , Junbo Chen

For autonomous vehicles, safe navigation in complex environments depends on handling a broad range of diverse and rare driving scenarios. Simulation- and scenario-based testing have emerged as key approaches to development and validation of…

Autonomous driving systems (ADS) have been an active area of research, with the potential to deliver significant benefits to society. However, before large-scale deployment on public roads, extensive testing is necessary to validate their…

Software Engineering · Computer Science 2025-08-28 Qunying Song , He Ye , Mark Harman , Federica Sarro

Vehicles in public traffic that are equipped with Automated Driving Systems are subject to a number of expectations: Among other aspects, their behavior should be safe, conforming to the rules of the road and provide mobility to their…

Software Engineering · Computer Science 2024-11-18 Nayel Fabian Salem , Marcus Nolte , Veronica Haber , Till Menzel , Hans Steege , Robert Graubohm , Markus Maurer

With the development of advanced communication technology, connected vehicles become increasingly popular in our transportation systems, which can conduct cooperative maneuvers with each other as well as road entities through…

Human-Computer Interaction · Computer Science 2020-09-01 Ziran Wang , Kyungtae Han , Prashant Tiwari

The advent of foundation models has revolutionized the fields of natural language processing and computer vision, paving the way for their application in autonomous driving (AD). This survey presents a comprehensive review of more than 40…

Machine Learning · Computer Science 2024-09-06 Haoxiang Gao , Zhongruo Wang , Yaqian Li , Kaiwen Long , Ming Yang , Yiqing Shen

Autonomous systems such as self-driving cars and general-purpose robots are safety-critical systems that operate in highly uncertain and dynamic environments. We propose an interactive multi-agent framework where the system-under-design is…

Machine Learning · Computer Science 2021-07-07 Xin Qin , Nikos Aréchiga , Andrew Best , Jyotirmoy Deshmukh

The design of Autonomous Vehicles (AVs) and the design of AVs-enabled mobility systems are closely coupled. Indeed, knowledge about the intended service of AVs would impact their design and deployment process, whilst insights about their…

Systems and Control · Electrical Eng. & Systems 2021-03-09 Gioele Zardini , Nicolas Lanzetti , Mauro Salazar , Andrea Censi , Emilio Frazzoli , Marco Pavone

Autonomous driving has gained much attention from both industry and academia. Currently, Deep Neural Networks (DNNs) are widely used for perception and control in autonomous driving. However, several fatal accidents caused by autonomous…

Software Engineering · Computer Science 2022-09-28 Yao Deng , Xi Zheng , Tianyi Zhang , Guannan Lou , Huai liu , Miryung Kim , Tsong Yueh Chen

Background: Driving automation systems (DAS), including autonomous driving and advanced driver assistance, are an important safety-critical domain. DAS often incorporate perceptions systems that use machine learning (ML) to analyze the…

Automated Driving Functions (ADFs) need to comply with spatial properties of varied complexity while driving on public roads. Since such situations are safety-critical in nature, it is necessary to continuously check ADFs for compliance…

Logic in Computer Science · Computer Science 2025-11-19 Ishan Saxena , Bernd Westphal , Martin Fränzle

We introduce a term algebra as a new formal specification language for the coordinating architectures of distributed systems consisting of a finite yet unbounded number of components. The language allows to describe infinite sets of systems…

Formal Languages and Automata Theory · Computer Science 2020-10-15 Marius Bozga , Radu Iosif

The growing advancements in Autonomous Vehicles (AVs) have emphasized the critical need to prioritize the absolute safety of AV maneuvers, especially in dynamic and unpredictable environments or situations. This objective becomes even more…

Robotics · Computer Science 2023-05-30 Dimia Iberraken , Lounis Adouane

The development of Autonomous Vehicles (AVs) has made significant progress in the last years. An essential aspect in the development of AVs is the assessment of quality and performance aspects of the AVs, such as safety, comfort, and…

Robotics · Computer Science 2020-12-03 Erwin de Gelder , Olaf Op den Camp

Autonomous Vehicles (AVs) rely on sophisticated Autonomous Driving Systems (ADSs) to provide passengers a satisfying and safe journey. The individual preferences of riders plays a crucial role in shaping the perception of safety and comfort…

Software Engineering · Computer Science 2024-07-19 Kun Wang , Christopher M. Poskitt , Yang Sun , Jun Sun , Jingyi Wang , Peng Cheng , Jiming Chen

Architectural Description (AD) is the backbone that facilitates the implementation and validation of robotic systems. In general, current high-level ADs reflect great variation and lead to various difficulties, including mixing ADs with…

Robotics · Computer Science 2020-11-26 Sabah Al-Fedaghi , Manar AlSaraf
‹ Prev 1 3 4 5 6 7 10 Next ›