English
Related papers

Related papers: DynNPC: Finding More Violations Induced by ADS in …

200 papers

Building simulation environments for developing and testing autonomous vehicles necessitates that the simulators accurately model the statistical realism of the real-world environment, including the interaction with other vehicles driven by…

Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and…

Multiagent Systems · Computer Science 2021-09-15 Marius Bozga , Joseph Sifakis

Microscopic traffic simulation has become an important tool for autonomous driving training and testing. Although recent data-driven approaches advance realistic behavior generation, their learning still relies primarily on a single…

Artificial Intelligence · Computer Science 2025-03-11 Shenyu Zhang , Jiaguo Tian , Zhengbang Zhu , Shan Huang , Jucheng Yang , Weinan Zhang

Validating the behavior of autonomous Cyber-Physical Systems (CPS) and Artificial Intelligence (AI) agents, which rely on automated controllers, is an objective of great importance. In recent years, Neural-Network (NN) controllers have been…

Robotics · Computer Science 2024-12-25 Khen Elimelech , Morteza Lahijanian , Lydia E. Kavraki , Moshe Y. Vardi

A major challenge in autonomous driving is the "long tail" of safety-critical edge cases, which often emerge from unusual combinations of common traffic elements. Synthesizing these scenarios is crucial, yet current controllable generative…

Computer Vision and Pattern Recognition · Computer Science 2026-03-16 Yifan Zhan , Zhengqing Chen , Qingjie Wang , Zhuo He , Muyao Niu , Xiaoyang Guo , Wei Yin , Weiqiang Ren , Qian Zhang , Yinqiang Zheng

Virtual scenario-based testing methods to validate autonomous driving systems are predominantly centred around collision avoidance, and lack a comprehensive approach to evaluate optimal driving behaviour holistically. Furthermore, current…

Robotics · Computer Science 2024-08-01 Kethan Reddy , Elias Nassif , Panagiotis Angeloudis , Mohammed Quddus , Washington Ochieng

We address the problem of ego-vehicle navigation in dense simulated traffic environments populated by road agents with varying driver behaviors. Navigation in such environments is challenging due to unpredictability in agents' actions…

Robotics · Computer Science 2022-02-15 Angelos Mavrogiannis , Rohan Chandra , Dinesh Manocha

Adversarial scenario generation is crucial for autonomous driving testing because it can efficiently simulate various challenge and complex traffic conditions. However, it is difficult to control current existing methods to generate desired…

Robotics · Computer Science 2024-08-27 Shuo Yang , Caojun Wang , Yuanjian Zhang , Yuming Yin , Yanjun Huang , Shengbo Eben Li , Hong Chen

Generating safe and non-conservative behaviors in dense, dynamic environments remains challenging for automated vehicles due to the stochastic nature of traffic participants' behaviors and their implicit interaction with the ego vehicle.…

Robotics · Computer Science 2023-09-13 Tong Li , Lu Zhang , Sikang Liu , Shaojie Shen

Traffic simulators are important tools in autonomous driving development. While continuous progress has been made to provide developers more options for modeling various traffic participants, tuning these models to increase their behavioral…

Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficiently generating effective tests for simulation-based AV…

Multiagent Systems · Computer Science 2020-08-31 Greg Chance , Abanoub Ghobrial , Severin Lemaignan , Tony Pipe , Kerstin Eder

As various driving automation system (DAS) are commonly used in the vehicle, the over-trust in the DAS may put the driver in the risk. In order to prevent the over-trust while driving, the trust state of the driver should be recognized.…

Human-Computer Interaction · Computer Science 2019-06-11 Hailong Liu , Toshihiro Hiraoka , Seiya Tanaka

The validation of autonomous driving systems benefits greatly from the ability to generate scenarios that are both realistic and precisely controllable. Conventional approaches, such as real-world test drives, are not only expensive but…

Robotics · Computer Science 2025-04-01 Yizhuo Xiao , Mustafa Suphi Erden , Cheng Wang

This article discusses new challenges for series development regarding the vehicle safety that arise from the recently published AEB test protocol by the consumer-test-organisation EuroNCAP for driver assistance systems [6]. The tests from…

Software Engineering · Computer Science 2014-08-15 Delf Block , Sönke Heeren , Stefan Kühnel , André Leschke , Bernhard Rumpe , Vladislavs Serebro

Evaluating the decision-making system is indispensable in developing autonomous vehicles, while realistic and challenging safety-critical test scenarios play a crucial role. Obtaining these scenarios is non-trivial, thanks to the…

Robotics · Computer Science 2024-08-08 Kunkun Hao , Yonggang Luo , Wen Cui , Yuqiao Bai , Jucheng Yang , Songyang Yan , Yuxi Pan , Zijiang Yang

This work introduces a framework to diagnose the strengths and shortcomings of Autonomous Vehicle (AV) collision avoidance technology with synthetic yet realistic potential collision scenarios adapted from real-world, collision-free data.…

Optimization and Control · Mathematics 2024-09-18 Robert Dyro , Matthew Foutter , Ruolin Li , Luigi Di Lillo , Edward Schmerling , Xilin Zhou , Marco Pavone

Autonomous driving has been the subject of increased interest in recent years both in industry and in academia. Serious efforts are being pursued to address legal, technical and logistical problems and make autonomous cars a viable option…

Artificial Intelligence · Computer Science 2016-08-31 Nan Li , Dave Oyler , Mengxuan Zhang , Yildiray Yildiz , Ilya Kolmanovsky , Anouck Girard

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

The most common type of accident on the road is a rear-end crash. These crashes have a significant negative impact on traffic flow and are frequently fatal. To gain a more practical understanding of these scenarios, it is necessary to…

Computer Vision and Pattern Recognition · Computer Science 2023-01-24 Armstrong Aboah , Abdul Rashid Mussah , Yaw Adu-Gyamfi

Virtual testing of automated driving systems (ADS) has become an essential part of testing procedures for all automation levels. As ADS from automation level 3 and up are very complex, virtual testing for such systems is inevitable. The…

Software Engineering · Computer Science 2021-03-26 Demin Nalic , Aleksa Pandurevic , Arno Eichberger , Branko Rogic