English
Related papers

Related papers: Formal Certification Methods for Automated Vehicle…

200 papers

Assuring safety of artificial intelligence (AI) applied to safety-critical systems is of paramount importance. Especially since research in the field of automated driving shows that AI is able to outperform classical approaches, to handle…

Computers and Society · Computer Science 2025-04-28 Lars Ullrich , Michael Buchholz , Klaus Dietmayer , Knut Graichen

The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviors of the vehicles in these platoons must be…

Artificial Intelligence · Computer Science 2016-02-05 Maryam Kamali , Louise A. Dennis , Owen McAree , Michael Fisher , Sandor M. Veres

While the adoption of Service-Oriented Architectures (SOA) eases the implementation of features such as autonomous driving and over-the-air updates, it also increases the vehicle's exposure to attacks that may place road-users in harm. To…

Logic in Computer Science · Computer Science 2022-12-26 Yuri Gil Dantas , Simon Barner , Pei Ke , Vivek Nigam , Ulrich Schoepp

Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of these autonomous systems is potentially life-endangering, formal…

Robotics · Computer Science 2020-03-26 Francisco Eiras , Morteza Lahijanian , Marta Kwiatkowska

Simulation is an indispensable tool in the development and testing of autonomous vehicles (AVs), offering an efficient and safe alternative to road testing. An outstanding challenge with simulation-based testing is the generation of…

Robotics · Computer Science 2024-12-13 Peide Huang , Wenhao Ding , Benjamin Stoler , Jonathan Francis , Bingqing Chen , Ding Zhao

Artificial intelligence (AI) technology has become increasingly prevalent and transforms our everyday life. One important application of AI technology is the development of autonomous vehicles (AV). However, the reliability of an AV needs…

Applications · Statistics 2023-12-04 Simin Zheng , Lu Lu , Yili Hong , Jian Liu

Safety is a central requirement for automated vehicles. As such, the assessment of risk in automated driving is key in supporting both motion planning technologies and safety evaluation. In automated driving, risk is characterized by two…

Robotics · Computer Science 2026-01-22 Leon Tolksdorf , Arturo Tejada , Jonas Bauernfeind , Christian Birkner , Nathan van de Wouw

Provable safety is one of the most critical challenges in automated driving. The behavior of numerous traffic participants in a scene cannot be predicted reliably due to complex interdependencies and the indiscriminate behavior of humans.…

Robotics · Computer Science 2019-05-07 Piotr Franciszek Orzechowski , Annika Meyer , Martin Lauer

Self-driving Autonomous Vehicles (SAVs) are gaining more interest each passing day by the industry as well as the general public. Tech and automobile companies are investing huge amounts of capital in research and development of SAVs to…

Artificial Intelligence · Computer Science 2021-03-09 Zaid Tahir , Rob Alexander

Vehicle control is one of the most critical challenges in autonomous vehicles (AVs) and connected and automated vehicles (CAVs), and it is paramount in vehicle safety, passenger comfort, transportation efficiency, and energy saving. This…

Autonomous vehicles (AV) are becoming a part of humans' everyday life. There are numerous pilot projects of driverless public buses; some car manufacturers deliver their premium-level automobiles with advanced self-driving features. Thus,…

Cryptography and Security · Computer Science 2021-07-02 Mariia Bakhtina , Raimundas Matulevičius

The long-tail distribution of real driving data poses challenges for training and testing autonomous vehicles (AV), where rare yet crucial safety-critical scenarios are infrequent. And virtual simulation offers a low-cost and efficient…

Robotics · Computer Science 2024-06-07 Ziyuan Yang , Zhaoyang Li , Jianming Hu , Yi Zhang

In recent years, there has been significant development of autonomous vehicle (AV) technologies. However, despite the notable achievements of some industry players, a strong and appealing body of evidence that demonstrate AVs are actually…

The software architecture behind modern autonomous vehicles (AV) is becoming more complex steadily. Safety verification is now an imminent task prior to the large-scale deployment of such convoluted models. For safety-critical tasks in…

Systems and Control · Electrical Eng. & Systems 2024-09-18 Aditya Parameshwaran , Yue Wang

Learning reliably safe autonomous control is one of the core problems in trustworthy autonomy. However, training a controller that can be formally verified to be safe remains a major challenge. We introduce a novel approach for learning…

Machine Learning · Computer Science 2024-11-19 Junlin Wu , Huan Zhang , Yevgeniy Vorobeychik

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

The development of Autonomous Vehicle (AV) has created a novel job, the safety driver, recruited from experienced drivers to supervise and operate AV in numerous driving missions. Safety drivers usually work with non-perfect AV in high-risk…

Human-Computer Interaction · Computer Science 2023-03-10 Mengdi Chu , Keyu Zong , Xin Shu , Jiangtao Gong , Zicong Lu , Kaimin Guo , Xinyi Dai , Guyue Zhou

Safety is one of the main challenges that prohibit autonomous vehicles (AV), requiring them to be well tested ahead of being allowed on the road. In comparison with road tests, simulators allow us to validate the AV conveniently and…

Robotics · Computer Science 2021-10-28 John Seymour , Dac-Thanh-Chuong Ho , Quang-Hung Luu

Ensuring the safety of vulnerable road users (VRUs), including pedestrians, cyclists, electric scooter riders, and motorcyclists, remains a major challenge for advanced driver assistance systems (ADAS) and connected and automated vehicles…

Systems and Control · Electrical Eng. & Systems 2025-10-23 Zhitong He , Yaobin Chen , Brian King , Lingxi Li

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