English
Related papers

Related papers: Planning Reliability Assurance Tests for Autonomou…

200 papers

The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure their functional safety. As for traditional functional safety,…

Software Engineering · Computer Science 2023-01-16 Yi Dong , Wei Huang , Vibhav Bharti , Victoria Cox , Alec Banks , Sen Wang , Xingyu Zhao , Sven Schewe , Xiaowei Huang

Safety is a critical concern in autonomous vehicle (AV) systems, especially when AI-based sensing and perception modules are involved. However, due to the black box nature of AI algorithms, it makes closed-loop analysis and synthesis…

Systems and Control · Electrical Eng. & Systems 2025-09-16 Tao Yan , Zheyu Zhang , Jingjing Jiang , Wen-Hua Chen

There has been recent and growing interest in the development and deployment of autonomous vehicles, encouraged by the empirical successes of powerful artificial intelligence techniques (AI), especially in the applications of deep learning…

Artificial Intelligence · Computer Science 2023-05-29 Shahin Atakishiyev , Mohammad Salameh , Hengshuai Yao , Randy Goebel

We draw on our experience working on system and software assurance and evaluation for systems important to society to summarise how safety engineering is performed in traditional critical systems, such as aircraft flight control. We analyse…

Computers and Society · Computer Science 2025-02-07 Robin Bloomfield , John Rushby

Automated driving on ramps presents significant challenges due to the need to balance both safety and efficiency during lane changes. This paper proposes an integrated planner for automated vehicles (AVs) on ramps, utilizing an…

Systems and Control · Electrical Eng. & Systems 2025-04-23 Yaoze Liu , Zhen Tian , Qifan Zhou , Zixuan Huang , Hongyu Sun

Ensuring the safety of autonomous vehicles (AVs) is paramount in their development and deployment. Safety-critical scenarios pose more severe challenges, necessitating efficient testing methods to validate AVs safety. This study focuses on…

Robotics · Computer Science 2025-08-12 Rui Zhou

In the last years, AI systems, in particular neural networks, have seen a tremendous increase in performance, and they are now used in a broad range of applications. Unlike classical symbolic AI systems, neural networks are trained using…

Computer Vision and Pattern Recognition · Computer Science 2021-08-16 Christian Berghoff , Pavol Bielik , Matthias Neu , Petar Tsankov , Arndt von Twickel

Autonomous vehicles (AVs) have demonstrated significant potential in revolutionizing transportation, yet ensuring their safety and reliability remains a critical challenge, especially when exposed to dynamic and unpredictable environments.…

Despite advancements in perception and planning for autonomous vehicles (AVs), validating their performance remains a significant challenge. The deployment of planning algorithms in real-world environments is often ineffective due to…

Robotics · Computer Science 2025-05-07 Joshua Ransiek , Philipp Reis , Tobias Schürmann , Eric Sax

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

Evaluating the robustness of automated driving planners is a critical and challenging task. Although methodologies to evaluate vehicles are well established, they do not yet account for a reality in which vehicles with autonomous components…

Cryptography and Security · Computer Science 2022-05-31 Andres Molina-Markham , Silvia G. Ionescu , Erin Lanus , Derek Ng , Sam Sommerer , Joseph J. Rushanan

AI-powered systems have gained widespread popularity in various domains, including Autonomous Vehicles (AVs). However, ensuring their reliability and safety is challenging due to their complex nature. Conventional test adequacy metrics,…

Software Engineering · Computer Science 2023-11-15 Neelofar Neelofar , Aldeida Aleti

What makes safety claims about general purpose AI systems such as large language models trustworthy? We show that rather than the capabilities of security tools such as alignment and red teaming procedures, it is security practices based on…

Cryptography and Security · Computer Science 2025-07-30 Petr Spelda , Vit Stritecky

Autonomous vehicles (AVs) promise efficient, clean and cost-effective transportation systems, but their reliance on sensors, wireless communications, and decision-making systems makes them vulnerable to cyberattacks and physical threats.…

Cryptography and Security · Computer Science 2026-04-15 Chieh Tsai , Murad Mehrab Abrar , Salim Hariri

We investigate methods to provide safety assurances for autonomous agents that incorporate predictions of other, uncontrolled agents' behavior into their own trajectory planning. Given a learning-based forecasting model that predicts…

Systems and Control · Electrical Eng. & Systems 2023-12-14 Anish Muthali , Haotian Shen , Sampada Deglurkar , Michael H. Lim , Rebecca Roelofs , Aleksandra Faust , Claire Tomlin

The advancing digitalization of vehicles and automotive systems bears many advantages for creating and enhancing comfort and safety-related systems ranging from drive-by-wire, inclusion of advanced displays, entertainment systems up to…

Cryptography and Security · Computer Science 2019-11-18 Stefan Marksteiner , Zhendong Ma

Artificial Intelligence (AI) is making a significant impact in multiple areas like medical, military, industrial, domestic, law, arts as AI is capable to perform several roles such as managing smart factories, driving autonomous vehicles,…

Software Engineering · Computer Science 2022-01-17 Zubair Khaliq , Sheikh Umar Farooq , Dawood Ashraf Khan

Automated vehicle acceptance (AVA) has been measured mostly subjectively by questionnaires and interviews, with a main focus on drivers inside automated vehicles (AVs). To ensure that AVs are widely accepted by the public, ensuring the…

Human-Computer Interaction · Computer Science 2023-09-20 Neeraja Bhide , Nanami Hashimoto , Kazimierz Dokurno , Chris Van der Hoorn , Sascha Hoogendoorn-Lanser , Sina Nordhoff

Artificial Intelligence (AI) is increasingly used in critical applications. Thus, the need for dependable AI systems is rapidly growing. In 2018, the European Commission appointed experts to a High-Level Expert Group on AI (AI-HLEG).…

Computers and Society · Computer Science 2021-03-17 Markus Borg , Joshua Bronson , Linus Christensson , Fredrik Olsson , Olof Lennartsson , Elias Sonnsjö , Hamid Ebabi , Martin Karsberg

Many decision-making scenarios in modern life benefit from the decision support of artificial intelligence algorithms, which focus on a data-driven philosophy and automated programs or systems. However, crucial decision issues related to…

Artificial Intelligence · Computer Science 2023-12-29 Xia Wang , Anda Liang , Jonathan Sprinkle , Taylor T. Johnson