English
Related papers

Related papers: Road to safe autonomy with data and formal reasoni…

200 papers

This paper presents a unified framework for the evaluation and optimization of autonomous vehicle trajectories, integrating formal safety, comfort, and efficiency criteria. An innovative geometric indicator, based on the analysis of safety…

Robotics · Computer Science 2025-09-03 Nouhed Naidja , Stéphane Font , Marc Revilloud , Guillaume Sandou

Advanced driver assistance systems are advancing at a rapid pace and all major companies started investing in developing the autonomous vehicles. But the security and reliability is still uncertain and debatable. Imagine that a vehicle is…

Human-Computer Interaction · Computer Science 2018-10-10 Amara Dinesh Kumar , Koti Naga Renu Chebrolu , Vinayakumar R , Soman KP

Racing demands each vehicle to drive at its physical limits, when any safety infraction could lead to catastrophic failure. In this work, we study the problem of safe reinforcement learning (RL) for autonomous racing, using the vehicle's…

Robotics · Computer Science 2021-12-02 Bingqing Chen , Jonathan Francis , Jean Oh , Eric Nyberg , Sylvia L. Herbert

Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with disturbances and flexible set representations. A drawback to…

Systems and Control · Electrical Eng. & Systems 2020-12-09 Minh Bui , Michael Lu , Reza Hojabr , Mo Chen , Arrvindh Shriraman

As shown by recent studies, machine intelligence-enabled systems are vulnerable to test cases resulting from either adversarial manipulation or natural distribution shifts. This has raised great concerns about deploying machine learning…

Robotics · Computer Science 2022-11-01 Chejian Xu , Wenhao Ding , Weijie Lyu , Zuxin Liu , Shuai Wang , Yihan He , Hanjiang Hu , Ding Zhao , Bo Li

Autonomous robots deployed in shared human environments, such as agricultural settings, require rigorous safety assurance to meet both functional reliability and regulatory compliance. These systems must operate in dynamic, unstructured…

Robotics · Computer Science 2025-10-16 Mustafa Adam , David A. Anisi , Pedro Ribeiro

The development of software components for autonomous driving functions should always include an extensive and rigorous evaluation. Since real-world testing is expensive and safety-critical -- especially when facing dynamic racing scenarios…

Robotics · Computer Science 2020-06-18 Tim Stahl , Johannes Betz

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

Ensuring the safety of autonomous vehicles, given the uncertainty in sensing other road users, is an open problem. Moreover, separate safety specifications for perception and planning components raise how to assess the overall system…

Multiagent Systems · Computer Science 2021-07-22 Julian Bernhard , Patrick Hart , Amit Sahu , Christoph Schöller , Michell Guzman Cancimance

Autonomous driving systems have witnessed a significant development during the past years thanks to the advance in machine learning-enabled sensing and decision-making algorithms. One critical challenge for their massive deployment in the…

Robotics · Computer Science 2023-06-22 Wenhao Ding , Chejian Xu , Mansur Arief , Haohong Lin , Bo Li , Ding Zhao

Recent developments have made autonomous vehicles (AVs) closer to hitting our roads. However, their security is still a major concern among drivers as well as manufacturers. Although some work has been done to identify threats and possible…

Cryptography and Security · Computer Science 2019-03-07 Ali Behfarnia , Ali Eslami

Autonomous electric vehicles (AEVs) hold great promise for the future of automotive engineering, but safety remains a significant challenge in their development and commercialization. Therefore, conducting a comprehensive analysis of AEV…

Systems and Control · Electrical Eng. & Systems 2023-06-21 Qasim Ajao , Olukotun Oludamilare

Crash data of autonomous vehicles (AV) or vehicles equipped with advanced driver assistance systems (ADAS) are the key information to understand the crash nature and to enhance the automation systems. However, most of the existing crash…

Robotics · Computer Science 2023-03-24 Ou Zheng , Mohamed Abdel-Aty , Zijin Wang , Shengxuan Ding , Dongdong Wang , Yuxuan Huang

Recent years have seen significant progress in the realm of robot autonomy, accompanied by the expanding reach of robotic technologies. However, the emergence of new deployment domains brings unprecedented challenges in ensuring safe…

Systems and Control · Electrical Eng. & Systems 2023-09-13 Kai-Chieh Hsu , Haimin Hu , Jaime Fernández Fisac

The automotive industry is experiencing a transition from assisted to highly automated driving. New concepts for validation of Automated Driving System (ADS) include amongst other a shift from a "technology based" approach to a "scenario…

Software Engineering · Computer Science 2023-02-02 Ilona Cieslik , Víctor J. Expósito Jiménez , Helmut Martin , Heiko Scharke , Hannes Schneider

This paper frames recent publications from Waymo within the broader context of the safety readiness determination for an Automated Driving System (ADS). Starting from a brief overview of safety performance outcomes reported by Waymo (i.e.,…

Software Engineering · Computer Science 2023-06-28 Francesca M. Favaro , Trent Victor , Henning Hohnhold , Scott Schnelle

The rapid development of artificial intelligence, especially deep learning technology, has advanced autonomous driving systems (ADSs) by providing precise control decisions to counterpart almost any driving event, spanning from anti-fatigue…

Machine Learning · Computer Science 2021-04-13 Yao Deng , Tiehua Zhang , Guannan Lou , Xi Zheng , Jiong Jin , Qing-Long Han

As Automated Driving Systems (ADS) technology advances, ensuring safety and public trust requires robust assurance frameworks, with safety cases emerging as a critical tool toward such a goal. This paper explores an approach to assess how a…

Software Engineering · Computer Science 2025-06-12 Scott Schnelle , Francesca Favaro , Laura Fraade-Blanar , David Wichner , Holland Broce , Justin Miranda

Introduction: This paper reviewed current driving automation (DA) and baseline human-driven crash databases and evaluated their comparability. Method: Five sources of DA crash data and three sources of human-driven crash data were reviewed…

Computers and Society · Computer Science 2025-03-30 Noah Goodall

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta