English
Related papers

Related papers: Towards Verified Artificial Intelligence

200 papers

This perspective illustrates some of the AI applications that can accelerate the achievement of SDGs and also highlights some of the considerations that could hinder the efforts towards them. This emphasizes the importance of establishing…

Computers and Society · Computer Science 2021-07-30 Hoe-Han Goh

The era of pervasive computing has resulted in countless devices that continuously monitor users and their environment, generating an abundance of user behavioural data. Such data may support improving the quality of service, but may also…

Computers and Society · Computer Science 2020-02-14 Abhishek Kumar , Tristan Braud , Sasu Tarkoma , Pan Hui

Artificial Intelligence (AI) is a discipline of computer science that deals with machine intelligence. It is essential to bring AI into the context of learning because it helps in analysing the enormous amounts of data that is collected…

Artificial Intelligence · Computer Science 2021-01-11 Faisal Khan , Debdeep Bose

We propose a maturity-based framework for certifying embodied AI systems through explicit measurement mechanisms. We argue that certifiable embodied AI requires structured assessment frameworks, quantitative scoring mechanisms, and methods…

Artificial Intelligence · Computer Science 2026-01-09 Michael C. Darling , Alan H. Hesu , Michael A. Mardikes , Brian C. McGuigan , Reed M. Milewicz

AI technology has a long history which is actively and constantly changing and growing. It focuses on intelligent agents, which contain devices that perceive the environment and based on which takes actions in order to maximize goal success…

Artificial Intelligence · Computer Science 2018-04-05 Jahanzaib Shabbir , Tarique Anwer

Enterprise AI systems, built on large language models, retrieval pipelines and autonomous agents, introduce a class of risks that traditional software quality assurance was never designed to address. These systems are probabilistic,…

Software Engineering · Computer Science 2026-05-25 Chitra Badagi , Divye Singh , Animesh Sen , Adinath Shirsath

A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems which are significantly different to humans. In this paper we…

Artificial Intelligence · Computer Science 2008-06-26 Shane Legg , Marcus Hutter

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to…

Artificial intelligence models encounter significant challenges due to their black-box nature, particularly in safety-critical domains such as healthcare, finance, and autonomous vehicles. Explainable Artificial Intelligence (XAI) addresses…

Artificial Intelligence · Computer Science 2025-03-14 Melkamu Mersha , Khang Lam , Joseph Wood , Ali AlShami , Jugal Kalita

Artificial Intelligence (AI) is a cognitive science to enables human to explore many intelligent ways to model our sensing and reasoning processes. Industrial AI is a systematic discipline to enable engineers to systematically develop and…

Computers and Society · Computer Science 2019-10-23 Jay Lee , Jaskaran Singh , Moslem Azamfar

As Artificial Intelligence (AI) continues to advance rapidly, Friendly AI (FAI) has been proposed to advocate for more equitable and fair development of AI. Despite its importance, there is a lack of comprehensive reviews examining FAI from…

Artificial Intelligence · Computer Science 2024-12-20 Qiyang Sun , Yupei Li , Emran Alturki , Sunil Munthumoduku Krishna Murthy , Björn W. Schuller

Artificial Intelligence (AI) has paved the way for revolutionary decision-making processes, which if harnessed appropriately, can contribute to advancements in various sectors, from healthcare to economics. However, its black box nature…

Artificial intelligence (AI) enables machines to learn from human experience, adjust to new inputs, and perform human-like tasks. AI is progressing rapidly and is transforming the way businesses operate, from process automation to cognitive…

Machine Learning · Computer Science 2021-12-17 Ambreen Hanif

Generative Artificial Intelligence (GenAI) has demonstrated its capabilities in the present world that reduce human effort significantly. It utilizes deep learning techniques to create original and realistic content in terms of text,…

Artificial Intelligence · Computer Science 2025-12-11 Aman Kumar , Deepak Narayan Gadde

Artificial Intelligence (AI) has the opportunity to revolutionize the way the United States Department of Defense (DoD) and Intelligence Community (IC) address the challenges of evolving threats, data deluge, and rapid courses of action.…

Artificial Intelligence · Computer Science 2019-05-10 Vijay Gadepally , Justin Goodwin , Jeremy Kepner , Albert Reuther , Hayley Reynolds , Siddharth Samsi , Jonathan Su , David Martinez

We identify a fundamental incompatibility between the goals of accuracy, trust, and human-level reasoning in artificial intelligence (AI) systems, for strict mathematical definitions of these notions. We define accuracy of a system as the…

Machine Learning · Computer Science 2026-05-11 Rina Panigrahy , Vatsal Sharan

In the past few decades, artificial intelligence (AI) technology has experienced swift developments, changing everyone's daily life and profoundly altering the course of human society. The intention of developing AI is to benefit humans, by…

Artificial Intelligence · Computer Science 2021-08-20 Haochen Liu , Yiqi Wang , Wenqi Fan , Xiaorui Liu , Yaxin Li , Shaili Jain , Yunhao Liu , Anil K. Jain , Jiliang Tang

Artificial intelligence (AI) is an extensive scientific discipline which enables computer systems to solve problems by emulating complex biological processes such as learning, reasoning and self-correction. This paper presents a…

Artificial Intelligence · Computer Science 2018-01-16 Javier Mata , Ignacio de Miguel , Ramó n J. Durá n , Noemí Merayo , Sandeep Kumar Singh , Admela Jukan , Mohit Chamania

Explainable Artificial Intelligence (XAI) has become popular in the last few years. The Artificial Intelligence (AI) community in general, and the Machine Learning (ML) community in particular, is coming to the realisation that in many…

Artificial Intelligence · Computer Science 2026-02-24 Raymond Sheh , Isaac Monteath

There is an increasing adoption of artificial intelligence in safety-critical applications, yet practical schemes for certifying that AI systems are safe, lawful and socially acceptable remain scarce. This white paper presents the T\"UV…

‹ Prev 1 3 4 5 6 7 10 Next ›