English
Related papers

Related papers: Towards Audit Requirements for AI-based Systems in…

200 papers

Neural networks have become the standard model for various computer vision tasks in automated driving including semantic segmentation, moving object detection, depth estimation, visual odometry, etc. The main flavors of neural networks…

Neural and Evolutionary Computing · Computer Science 2019-03-07 Sambit Mohapatra , Heinrich Gotzig , Senthil Yogamani , Stefan Milz , Raoul Zollner

The implementation of the AI Act requires practical mechanisms to verify compliance with legal obligations, yet concrete and operational mappings from high-level requirements to verifiable assessment activities remain limited, contributing…

Computers and Society · Computer Science 2026-04-06 Alessio Buscemi , Tom Deckenbrunnen , Fahria Kabir , Kateryna Mishchenko , Nishat Mowla

Deep Neural Networks (DNNs) are increasingly applied in the real world in safety critical applications like advanced driver assistance systems. An example for such use case is represented by traffic sign recognition systems. At the same…

Computer Vision and Pattern Recognition · Computer Science 2023-03-10 Fabian Woitschek , Georg Schneider

In recent years, the remarkable progress of Machine Learning (ML) technologies within the domain of Artificial Intelligence (AI) systems has presented unprecedented opportunities for the aviation industry, paving the way for further…

Machine Learning · Computer Science 2023-10-11 Konstantin Dmitriev , Johann Schumann , Islam Bostanov , Mostafa Abdelhamid , Florian Holzapfel

This paper investigates the use of artificial neural networks (ANNs) to replace traditional algorithms and manual review for identifying anomalies in vehicle run data. The specific data used for this study is from undersea vehicle…

Neural and Evolutionary Computing · Computer Science 2016-03-17 Adam J. Last

We study the problem of safety verification of direct perception neural networks, where camera images are used as inputs to produce high-level features for autonomous vehicles to make control decisions. Formal verification of direct…

Software Engineering · Computer Science 2019-11-22 Chih-Hong Cheng , Chung-Hao Huang , Thomas Brunner , Vahid Hashemi

Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for tasks where complex policies are learned within reactive systems. Unfortunately, these policies are known to be susceptible to bugs. Despite significant…

Robotics · Computer Science 2023-01-12 Guy Amir , Davide Corsi , Raz Yerushalmi , Luca Marzari , David Harel , Alessandro Farinelli , Guy Katz

The current certification process for aerospace software is not adapted to "AI-based" algorithms such as deep neural networks. Unlike traditional aerospace software, the precise parameters optimized during neural network training are as…

Machine Learning · Computer Science 2023-02-23 Maxime Gariel , Brian Shimanuki , Rob Timpe , Evan Wilson

Intelligent Transportation System (ITS) is crucial for improving traffic congestion, reducing accidents, optimizing urban planning, and more. However, the complexity of traffic networks has rendered traditional machine learning and…

Machine Learning · Computer Science 2024-09-20 Hourun Li , Yusheng Zhao , Zhengyang Mao , Yifang Qin , Zhiping Xiao , Jiaqi Feng , Yiyang Gu , Wei Ju , Xiao Luo , Ming Zhang

The deep neural networks (DNNs)based autonomous driving systems (ADSs) are expected to reduce road accidents and improve safety in the transportation domain as it removes the factor of human error from driving tasks. The DNN based ADS…

Machine Learning · Computer Science 2022-04-06 Manzoor Hussain , Nazakat Ali , Jang-Eui Hong

Deep neural networks (DNNs) are state-of-the-art techniques for solving most computer vision problems. DNNs require billions of parameters and operations to achieve state-of-the-art results. This requirement makes DNNs extremely compute,…

Computer Vision and Pattern Recognition · Computer Science 2023-08-08 Ishmeet Kaur , Adwaita Janardhan Jadhav

Corner cases are the main bottlenecks when applying Artificial Intelligence (AI) systems to safety-critical applications. An AI system should be intelligent enough to detect such situations so that system developers can prepare for…

Machine Learning · Computer Science 2019-07-02 Vidyasagar Sadhu , Teruhisa Misu , Dario Pompili

Audits are critical mechanisms for identifying the risks and limitations of deployed artificial intelligence (AI) systems. However, the effective execution of AI audits remains incredibly difficult, and practitioners often need to make use…

Computers and Society · Computer Science 2025-03-03 Victor Ojewale , Ryan Steed , Briana Vecchione , Abeba Birhane , Inioluwa Deborah Raji

Driving is an intuitive task that requires skills, constant alertness and vigilance for unexpected events. The driving task also requires long concentration spans focusing on the entire task for prolonged periods, and sophisticated…

Artificial Intelligence · Computer Science 2021-09-13 Scott McLachlan , Martin Neil , Kudakwashe Dube , Ronny Bogani , Norman Fenton , Burkhard Schaffer

Uncertainties in Deep Neural Network (DNN)-based perception and vehicle's motion pose challenges to the development of safe autonomous driving vehicles. In this paper, we propose a safe motion planning framework featuring the quantification…

Robotics · Computer Science 2021-08-12 Liuhui Ding , Dachuan Li , Bowen Liu , Wenxing Lan , Bing Bai , Qi Hao , Weipeng Cao , Ke Pei

The explosion in the performance of Machine Learning (ML) and the potential of its applications are strongly encouraging us to consider its use in industrial systems, including for critical functions such as decision-making in autonomous…

Computers and Society · Computer Science 2023-11-14 François Terrier

Alignment of artificial intelligence (AI) encompasses the normative problem of specifying how AI systems should act and the technical problem of ensuring AI systems comply with those specifications. To date, AI alignment has generally…

Technical standards, or simply standards, are established documented guidelines and rules that facilitate the interoperability, quality, and accuracy of systems and processes. In recent years, we have witnessed an emerging paradigm shift…

Computers and Society · Computer Science 2025-03-10 Joseph Marvin Imperial , Matthew D. Jones , Harish Tayyar Madabushi

The integration of AI components, particularly Deep Neural Networks (DNNs), into safety-critical systems such as aerospace and autonomous vehicles presents fundamental challenges for assurance. The opacity of AI systems, combined with the…

Artificial Intelligence · Computer Science 2025-11-26 Anastasia Mavridou , Divya Gopinath , Corina S. Păsăreanu

Traditional decision and planning frameworks for self-driving vehicles (SDVs) scale poorly in new scenarios, thus they require tedious hand-tuning of rules and parameters to maintain acceptable performance in all foreseeable cases.…

Robotics · Computer Science 2021-08-02 Peide Cai , Hengli Wang , Yuxiang Sun , Ming Liu