English
Related papers

Related papers: A Real-time Critical-scenario-generation Framework…

200 papers

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

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as…

Machine Learning · Computer Science 2025-04-30 Christopher Watson , Rajeev Alur , Divya Gopinath , Ravi Mangal , Corina S. Pasareanu

Autonomous vehicles are in an intensive research and development stage, and the organizations developing these systems are targeting to deploy them on public roads in a very near future. One of the expectations from fully-automated vehicles…

Robotics · Computer Science 2019-03-27 Cumhur Erkan Tuncali , Georgios Fainekos

Scenario-based testing is envisioned as a key approach for the safety assurance of autonomous vehicles. In scenario-based testing, relevant (driving) scenarios are the basis of tests. Many recent works focus on specification, variation,…

Software Engineering · Computer Science 2023-07-12 Till Schallau , Stefan Naujokat , Fiona Kullmann , Falk Howar

Verifying highly automated driving functions can be challenging, requiring identifying relevant test scenarios. Scenario-based testing will likely play a significant role in verifying these systems, predominantly occurring within…

Robotics · Computer Science 2024-04-29 Maximilian Zipfl , Barbara Schütt , J. Marius Zöllner

Developing safety-critical automotive software presents significant challenges due to increasing system complexity and strict regulatory demands. This paper proposes a novel framework integrating Generative Artificial Intelligence (GenAI)…

Software Engineering · Computer Science 2025-06-05 Sven Kirchner , Alois C. Knoll

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner

The safety of Automated Vehicles (AV) as Cyber-Physical Systems (CPS) depends on the safety of their consisting modules (software and hardware) and their rigorous integration. Deep Learning is one of the dominant techniques used for…

Robotics · Computer Science 2020-05-04 Mohammad Hekmatnejad , Bardh Hoxha , Georgios Fainekos

Autonomous driving (AD) testing constitutes a critical methodology for assessing performance benchmarks prior to product deployment. The creation of segmented scenarios within a simulated environment is acknowledged as a robust and…

Software Engineering · Computer Science 2025-03-06 Xuan Cai , Xuesong Bai , Zhiyong Cui , Danmu Xie , Daocheng Fu , Haiyang Yu , Yilong Ren

Testing of function safety and Safety Of The Intended Functionality (SOTIF) is important for autonomous vehicles (AVs). It is hard to test the AV's hazard response in the real world because it would involve hazards to passengers and other…

Robotics · Computer Science 2023-07-21 Longfei Mo , Min Hua , Hongyu Sun , Hongming Xu , Bin Shuai , Quan Zhou

We present a continuation to our previous work, in which we developed the MR-CKR framework to reason with knowledge overriding across contexts organized in multi-relational hierarchies. Reasoning is realized via ASP with algebraic measures,…

Artificial Intelligence · Computer Science 2023-05-04 Loris Bozzato , Thomas Eiter , Rafael Kiesel , Daria Stepanova

We present ChatScene, a Large Language Model (LLM)-based agent that leverages the capabilities of LLMs to generate safety-critical scenarios for autonomous vehicles. Given unstructured language instructions, the agent first generates…

Artificial Intelligence · Computer Science 2024-05-24 Jiawei Zhang , Chejian Xu , Bo Li

Autonomous driving faces critical challenges in rare long-tail events and complex multi-agent interactions, which are scarce in real-world data yet essential for robust safety validation. This paper presents a high-fidelity scenario…

Machine Learning · Computer Science 2025-11-27 Yuhang Wang , Heye Huang , Zhenhua Xu , Kailai Sun , Baoshen Guo , Jinhua Zhao

The manual design of scenarios for Air Traffic Control (ATC) training is a demanding and time-consuming bottleneck that limits the diversity of simulations available to controllers. To address this, we introduce a novel, end-to-end…

Artificial Intelligence · Computer Science 2025-08-18 Dewi Sid William Gould , George De Ath , Ben Carvell , Nick Pepper

The generation of realistic and diverse traffic scenarios in simulation is essential for developing and evaluating autonomous driving systems. However, most simulation frameworks rely on rule-based or simplified models for scene generation,…

Multiagent Systems · Computer Science 2025-12-02 Jiaguo Tian , Zhengbang Zhu , Shenyu Zhang , Li Xu , Bo Zheng , Xu Liu , Weiji Peng , Shizeng Yao , Weinan Zhang

Two-stage stochastic programs (2SPs) are important tools for making decisions under uncertainty. Decision-makers use contextual information to generate a set of scenarios to represent the true conditional distribution. However, the number…

Optimization and Control · Mathematics 2025-02-11 David Islip , Roy H. Kwon , Sanghyeon Bae , Woo Chang Kim

Deep reinforcement learning has proven remarkably useful in training agents from unstructured data. However, the opacity of the produced agents makes it difficult to ensure that they adhere to various requirements posed by human engineers.…

Machine Learning · Computer Science 2022-02-10 Raz Yerushalmi , Guy Amir , Achiya Elyasaf , David Harel , Guy Katz , Assaf Marron

The assessment of safety performance plays a pivotal role in the development and deployment of connected and automated vehicles (CAVs). A common approach involves designing testing scenarios based on prior knowledge of CAVs (e.g., surrogate…

Systems and Control · Electrical Eng. & Systems 2024-03-01 Jingxuan Yang , Ruoxuan Bai , Haoyuan Ji , Yi Zhang , Jianming Hu , Shuo Feng

Simulation environments are good for learning different driving tasks like lane changing, parking or handling intersections etc. in an abstract manner. However, these simulation environments often restrict themselves to operate under…

Machine Learning · Computer Science 2021-11-01 Ashish Rana , Avleen Malhi

Autonomous driving faces challenges in navigating complex real-world traffic, requiring safe handling of both common and critical scenarios. Reinforcement learning (RL), a prominent method in end-to-end driving, enables agents to learn…

Robotics · Computer Science 2026-03-09 Ahmed Abouelazm , Johannes Ratz , Philip Schörner , J. Marius Zöllner