English
Related papers

Related papers: REDriver: Runtime Enforcement for Autonomous Vehic…

200 papers

Automated Driving System (ADS) is a safety-critical software system responsible for the interpretation of the vehicle's environment and making decisions accordingly. The unbounded complexity of the driving context, including unforeseeable…

Autonomous driving systems (ADS) have achieved remarkable progress in recent years. However, ensuring their safety and reliability remains a critical challenge due to the complexity and uncertainty of driving scenarios. In this paper, we…

Software Engineering · Computer Science 2024-12-19 Huiwen Yang , Yu Zhou , Taolue Chen

In this work, we propose a self-improving artificial intelligence system to enhance the safety performance of reinforcement learning (RL)-based autonomous driving (AD) agents using black-box verification methods. RL algorithms have become…

Artificial Intelligence · Computer Science 2025-07-21 Resul Dagdanov , Halil Durmus , Nazim Kemal Ure

Real-time safety metrics are important for the automated driving system (ADS) to assess the risk of driving situations and to assist the decision-making. Although a number of real-time safety metrics have been proposed in the literature,…

Robotics · Computer Science 2024-01-04 Xintao Yan , Shuo Feng , David J. LeBlanc , Carol Flannagan , Henry X. Liu

Response timing measures play a crucial role in the assessment of automated driving systems (ADS) in collision avoidance scenarios, including but not limited to establishing human benchmarks and comparing ADS to human driver response…

Human-Computer Interaction · Computer Science 2025-07-30 Shu-Yuan Liu , Johan Engström , Gustav Markkula

The deep neural networks (DNNs)based autonomous driving systems (ADSs) are expected to reduce road accidents and improve safety in the transportation domain as it removes the factor of human error from driving tasks. The DNN based ADS…

Machine Learning · Computer Science 2022-04-06 Manzoor Hussain , Nazakat Ali , Jang-Eui Hong

Autonomous Vehicles (AVs) are advancing rapidly, with Level-4 AVs already operating in real-world conditions. Current AVs, however, still lag behind human drivers in adaptability and performance, often exhibiting overly conservative…

Software Engineering · Computer Science 2025-06-25 Yang Sun , Christopher M. Poskitt , Kun Wang , Jun Sun

Autonomous driving systems (ADSs) have undergone remarkable development and are increasingly employed in safety-critical applications. However, recently reported data on fatal accidents involving ADSs suggests that the desired level of…

Software Engineering · Computer Science 2024-09-13 An Guo , Yuan Zhou , Haoxiang Tian , Chunrong Fang , Yunjian Sun , Weisong Sun , Xinyu Gao , Anh Tuan Luu , Yang Liu , Zhenyu Chen

Autonomous Driving System (ADS) testing is crucial in ADS development, with the current primary focus being on safety. However, the evaluation of non-safety-critical performance, particularly the ADS's ability to make optimal decisions and…

Artificial Intelligence · Computer Science 2025-01-29 Mingfei Cheng , Yuan Zhou , Xiaofei Xie , Junjie Wang , Guozhu Meng , Kairui Yang

In autonomous driving (AD), accurate perception is indispensable to achieving safe and secure driving. Due to its safety-criticality, the security of AD perception has been widely studied. Among different attacks on AD perception, the…

Cryptography and Security · Computer Science 2023-08-24 Ningfei Wang , Yunpeng Luo , Takami Sato , Kaidi Xu , Qi Alfred Chen

Scenario-based testing for automated driving systems (ADS) must be able to simulate traffic scenarios that rely on interactions with other vehicles. Although many languages for high-level scenario modelling have been proposed, they lack the…

Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, taking into account the fact that autopilots make decisions…

Software Engineering · Computer Science 2024-05-28 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

Autonomous Driving (AD) systems demand the high levels of safety assurance. Despite significant advancements in AD demonstrated on open-source benchmarks like Longest6 and Bench2Drive, existing datasets still lack regulatory-compliant…

Robotics · Computer Science 2025-05-21 Jingzheng Li , Tiancheng Wang , Xingyu Peng , Jiacheng Chen , Zhijun Chen , Bing Li , Xianglong Liu

When developing autonomous driving systems (ADS), developers often need to replay previously collected driving recordings to check the correctness of newly introduced changes to the system. However, simply replaying the entire recording is…

Software Engineering · Computer Science 2022-09-07 Yao Deng , Xi Zheng , Mengshi Zhang , Guannan Lou , Tianyi Zhang

In this work, we present SafePlanner, a systematic testing framework for identifying safety-critical flaws in the Plan model of Automated Driving Systems (ADS). SafePlanner targets two core challenges: generating structurally meaningful…

Software Engineering · Computer Science 2026-01-15 Dohyun Kim , Sanggu Han , Sangmin Woo , Joonha Jang , Jaehoon Kim , Changhun Song , Yongdae Kim

Autonomous driving (AD) agents generate driving policies based on online perception results, which are obtained at multiple levels of abstraction, e.g., behavior planning, motion planning and control. Driving policies are crucial to the…

Robotics · Computer Science 2022-01-21 Zeyu Zhu , Huijing Zhao

Autonomous Driving Systems (ADSs) are complex Cyber-Physical Systems (CPSs) that must ensure safety even in uncertain conditions. Modern ADSs often employ Deep Neural Networks (DNNs), which may not produce correct results in every possible…

Software Engineering · Computer Science 2024-09-09 Jon Ayerdi , Asier Iriarte , Pablo Valle , Ibai Roman , Miren Illarramendi , Aitor Arrieta

Level 3 automated driving systems (ADS) have attracted significant attention and are being commercialized. A Level 3 ADS prompts the driver to take control by requesting to intervene (RtI) when its operational design domain (ODD) or system…

Human-Computer Interaction · Computer Science 2026-02-13 Ryuji Matsuo , Hailong Liu , Toshihiro Hiraoka , Takahiro Wada

Autonomous and Robotics Systems (ARSs) are widespread, complex, and increasingly coming into contact with the public. Many of these systems are safety-critical, and it is vital to detect software errors to protect against harm. We propose a…

Software Engineering · Computer Science 2022-02-01 Deborah S. Katz , Christopher S. Timperley , Claire Le Goues

Autonomous Driving Systems (ADSs) continue to face safety-critical risks due to the inherent limitations in their design and performance capabilities. Online repair plays a crucial role in mitigating such limitations, ensuring the runtime…

Machine Learning · Computer Science 2025-07-01 Mingfei Cheng , Xiaofei Xie , Renzhi Wang , Yuan Zhou , Ming Hu