中文
相关论文

相关论文: Self-Checking Deep Neural Networks in Deployment

200 篇论文

Nowadays, we are witnessing an increasing effort to improve the performance and trustworthiness of Deep Neural Networks (DNNs), with the aim to enable their adoption in safety critical systems such as self-driving cars. Multiple testing…

软件工程 · 计算机科学 2022-04-05 Houssem Ben Braiek , Foutse Khomh

Deep Neural Networks (DNNs) are the core component of modern autonomous driving systems. To date, it is still unrealistic that a DNN will generalize correctly in all driving conditions. Current testing techniques consist of offline…

信号处理 · 电气工程与系统科学 2019-10-11 Andrea Stocco , Michael Weiss , Marco Calzana , Paolo Tonella

Deep Neural Networks (DNNs) are increasingly deployed in safety-critical applications including autonomous vehicles and medical diagnostics. To reduce the residual risk for unexpected DNN behaviour and provide evidence for their trustworthy…

软件工程 · 计算机科学 2019-02-19 Hasan Ferit Eniser , Simos Gerasimou , Alper Sen

In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level performance on several long-standing tasks. With the broader deployment of DNNs on various applications, the concerns over…

机器学习 · 计算机科学 2020-06-02 Xiaowei Huang , Daniel Kroening , Wenjie Ruan , James Sharp , Youcheng Sun , Emese Thamo , Min Wu , Xinping Yi

Deep neural networks (DNNs) have become increasingly popular in recent years. However, despite their many successes, DNNs may also err and produce incorrect and potentially fatal outputs in safety-critical settings, such as autonomous…

机器学习 · 计算机科学 2021-10-22 Idan Refaeli , Guy Katz

Recent advances in Deep Neural Networks (DNNs) have led to the development of DNN-driven autonomous cars that, using sensors like camera, LiDAR, etc., can drive without any human intervention. Most major manufacturers including Tesla, GM,…

软件工程 · 计算机科学 2018-03-21 Yuchi Tian , Kexin Pei , Suman Jana , Baishakhi Ray

Deep Neural Networks are increasingly adopted in critical tasks that require a high level of safety, e.g., autonomous driving. While state-of-the-art verifiers can be employed to check whether a DNN is unsafe w.r.t. some given property…

人工智能 · 计算机科学 2023-06-21 Luca Marzari , Davide Corsi , Ferdinando Cicalese , Alessandro Farinelli

Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These safety properties of DNNs can be proven using tools…

计算机科学中的逻辑 · 计算机科学 2024-02-14 Remi Desmartin , Omri Isac , Grant Passmore , Kathrin Stark , Guy Katz , Ekaterina Komendantskaya

As deep neural networks (DNNs) are increasingly used in safety-critical applications, there is a growing concern for their reliability. Even highly trained, high-performant networks are not 100% accurate. However, it is very difficult to…

神经与进化计算 · 计算机科学 2024-07-30 Eduard Pinconschi , Divya Gopinath , Rui Abreu , Corina S. Pasareanu

There is a growing body of research on developing testing techniques for Deep Neural Networks (DNN). We distinguish two general modes of testing for DNNs: Offline testing where DNNs are tested as individual units based on test datasets…

机器学习 · 计算机科学 2021-05-03 Fitash Ul Haq , Donghwan Shin , Shiva Nejati , Lionel Briand

Deep Neural Networks (DNN) have improved the quality of several non-safety related products in the past years. However, before DNNs should be deployed to safety-critical applications, their robustness needs to be systematically analyzed. A…

Deep neural networks (DNNs) are widely used in autonomous driving due to their high accuracy for perception, decision, and control. In safety-critical systems like autonomous driving, executing tasks like sensing and perception in real-time…

机器学习 · 计算机科学 2022-09-14 Liangkai Liu , Yanzhi Wang , Weisong Shi

A rise in popularity of Deep Neural Networks (DNNs), attributed to more powerful GPUs and widely available datasets, has seen them being increasingly used within safety-critical domains. One such domain, self-driving, has benefited from…

机器学习 · 计算机科学 2018-11-19 Rhiannon Michelmore , Marta Kwiatkowska , Yarin Gal

Modern software systems rely on Deep Neural Networks (DNN) when processing complex, unstructured inputs, such as images, videos, natural language texts or audio signals. Provided the intractably large size of such input spaces, the…

软件工程 · 计算机科学 2021-02-03 Michael Weiss , Paolo Tonella

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…

机器学习 · 计算机科学 2022-04-06 Manzoor Hussain , Nazakat Ali , Jang-Eui Hong

Deep Neural Networks (DNNs) are used in a wide variety of applications. However, as in any software application, DNN-based apps are afflicted with bugs. Previous work observed that DNN bug fix patterns are different from traditional bug fix…

软件工程 · 计算机科学 2021-12-09 Mohammad Wardat , Breno Dantas Cruz , Wei Le , Hridesh Rajan

Inference accuracy of deep neural networks (DNNs) is a crucial performance metric, but can vary greatly in practice subject to actual test datasets and is typically unknown due to the lack of ground truth labels. This has raised significant…

机器学习 · 计算机科学 2020-07-06 Zhihui Shao , Jianyi Yang , Shaolei Ren

Deep learning models are trained with certain assumptions about the data during the development stage and then used for prediction in the deployment stage. It is important to reason about the trustworthiness of the model's predictions with…

软件工程 · 计算机科学 2024-01-29 Shibbir Ahmed , Hongyang Gao , Hridesh Rajan

Deep Neural Networks (DNNs) have tremendous potential in advancing the vision for self-driving cars. However, the security of DNN models in this context leads to major safety implications and needs to be better understood. We consider the…

机器学习 · 计算机科学 2019-04-17 Alesia Chernikova , Alina Oprea , Cristina Nita-Rotaru , BaekGyu Kim

Deep neural networks (DNNs) demonstrate outstanding performance across most computer vision tasks. Some critical applications, such as autonomous driving or medical imaging, also require investigation into their behavior and the reasons…

计算机视觉与模式识别 · 计算机科学 2023-12-11 Edouard Yvinec , Arnaud Dapogny , Kevin Bailly , Xavier Fischer
‹ 上一页 1 2 3 10 下一页 ›