English
Related papers

Related papers: STCLocker: Deadlock Avoidance Testing for Autonomo…

200 papers

The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safety validation through large-scale testing. Multiple…

Software Engineering · Computer Science 2024-04-16 Huijia Sun , Christopher M. Poskitt , Yang Sun , Jun Sun , Yuqi Chen

Existing intelligent driving technology often has a problem in balancing smooth driving and fast obstacle avoidance, especially when the vehicle is in a non-structural environment, and is prone to instability in emergency situations.…

Robotics · Computer Science 2022-08-02 Yitian Wang , Jun Lin , Liu Zhang , Tianhao Wang , Hao Xu , Guanyu Zhang , Yang Liu

As vehicle automation advances, motion planning algorithms face escalating challenges in achieving safe and efficient navigation. Existing Advanced Driver Assistance Systems (ADAS) primarily focus on basic tasks, leaving unexpected…

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

The Detector Safety System (DSS), currently being developed at CERN under the auspices of the Joint Controls Project (JCOP), will be responsible for assuring the protection of equipment for the four LHC experiments. Thus, the DSS will…

High Energy Physics - Experiment · Physics 2007-05-23 S. Lueders , R. B. Flockhart , G. Morpurgo , S. M. Schmeling

Autonomous vehicles (AVs) require extensive testing in simulation, but test case generation for driving scenarios is laborious. The desired scenarios are often out-of-distribution and have precise requirements on interactions with the AV…

Robotics · Computer Science 2026-05-11 Frieda Rong , Chris Zhang , Kelvin Wong , Raquel Urtasun

Autonomous vehicle (AV) stacks are typically built in a modular fashion, with explicit components performing detection, tracking, prediction, planning, control, etc. While modularity improves reusability, interpretability, and…

Robotics · Computer Science 2022-12-14 Peter Karkus , Boris Ivanovic , Shie Mannor , Marco Pavone

The rapid advancements of Internet of Things (IoT) and artificial intelligence (AI) have catalyzed the development of adaptive traffic signal control systems (ATCS) for smart cities. In particular, deep reinforcement learning (DRL) methods…

Machine Learning · Computer Science 2021-11-05 Ao Qu , Yihong Tang , Wei Ma

The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeling of ADS by combining descriptions of their static…

Multiagent Systems · Computer Science 2022-05-23 Marius Bozga , Joseph Sifakis

Scenario-based testing is a key method for cost-effective and safe validation of autonomous vehicles (AVs). Existing approaches rely on imperative scenario definitions, requiring developers to manually enumerate numerous variants to achieve…

Software Engineering · Computer Science 2026-03-31 Ezio Bartocci , Alessio Gambi , Felix Gigler , Cristinel Mateis , Dejan Ničković

Recently, the scientific progress of Advanced Driver Assistance System solutions (ADAS) has played a key role in enhancing the overall safety of driving. ADAS technology enables active control of vehicles to prevent potentially risky…

Signal Processing · Electrical Eng. & Systems 2023-08-07 Francesco Rundo , Concetto Spampinato , Michael Rundo

Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse scenarios, including those that are difficult to recreate in…

Software Engineering · Computer Science 2023-01-09 Yang Sun , Christopher M. Poskitt , Jun Sun , Yuqi Chen , Zijiang Yang

This research introduces an innovative method for adaptive traffic signal control (ATSC) through the utilization of multi-objective deep reinforcement learning (DRL) techniques. The proposed approach aims to enhance control strategies at…

Machine Learning · Computer Science 2024-08-05 Shahin Mirbakhsh , Mahdi Azizi

Agile system development life cycle (SDLC) focuses on typical functional and non-functional system requirements for developing traditional software systems. However, Artificial Intelligent (AI) systems are different in nature and have…

Software Engineering · Computer Science 2025-01-20 Asif Q. Gill

Sampling critical testing scenarios is an essential step in intelligence testing for Automated Vehicles (AVs). However, due to the lack of prior knowledge on the distribution of critical scenarios in sampling space, we can hardly…

Robotics · Computer Science 2024-05-03 Jingwei Ge , Pengbo Wang , Cheng Chang , Yi Zhang , Danya Yao , Li Li

Simulation-based testing of autonomous driving systems (ADS) must uncover realistic and diverse failures in dense, heterogeneous traffic. However, existing search-based seeding methods (e.g., genetic algorithms) struggle in high-dimensional…

Software Engineering · Computer Science 2026-04-22 Linfeng Liang , Xiao Cheng , Tsong Yueh Chen , Xi Zheng

Ensuring Service Level Objectives (SLOs) in large-scale architectures, such as Distributed Computing Continuum Systems (DCCS), is challenging due to their heterogeneous nature and varying service requirements across different devices and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-22 Alfreds Lapkovskis , Boris Sedlak , Sindri Magnússon , Schahram Dustdar , Praveen Kumar Donta

Testing and evaluation is a critical step in the development and deployment of connected and automated vehicles (CAVs), and yet there is no systematic framework to generate testing scenario library. This study aims to provide a general…

Systems and Control · Computer Science 2020-09-30 Shuo Feng , Yiheng Feng , Chunhui Yu , Yi Zhang , Henry X. Liu

Simulation platforms facilitate the development of emerging Cyber-Physical Systems (CPS) like self-driving cars (SDC) because they are more efficient and less dangerous than field operational test cases. Despite this, thoroughly testing…

Software Engineering · Computer Science 2022-12-12 Christian Birchler , Sajad Khatiri , Bill Bosshard , Alessio Gambi , Sebastiano Panichella

In human-robot collaboration (HRC), software-based automatic safety controllers (ASCs) are used in various forms (e.g. shutdown mechanisms, emergency brakes, interlocks) to improve operational safety. Complex robotic tasks and increasingly…

Robotics · Computer Science 2025-03-21 Mario Gleirscher , Radu Calinescu