English
Related papers

Related papers: Nuclear Arms Control Verification and Lessons for …

200 papers

The growing AI field faces trust, transparency, fairness, and discrimination challenges. Despite the need for new regulations, there is a mismatch between regulatory science and AI, preventing a consistent framework. A five-layer nested…

Computers and Society · Computer Science 2024-08-27 Akshat Dubey , Zewen Yang , Georges Hattab

The lack of explainability of Artificial Intelligence (AI) is one of the first obstacles that the industry and regulators must overcome to mitigate the risks associated with the technology. The need for eXplainable AI (XAI) is evident in…

Computers and Society · Computer Science 2025-02-24 Georgios Pavlidis

This paper examines the legal implications of the explicit mentioning of automation bias (AB) in the Artificial Intelligence Act (AIA). The AIA mandates human oversight for high-risk AI systems and requires providers to enable awareness of…

Computers and Society · Computer Science 2026-02-04 Johann Laux , Hannah Ruschemeier

This essay analyzes emerging AI & quantum technology (incl. quantum-AI hybrids) regulation, export controls, and standards in the US, EU, & China, comparing legislative efforts anno 2025 to balance benefits/risks via their distinct…

Physics and Society · Physics 2025-05-20 Mauritz Kop

Quantum program generation demands a level of precision that may not be compatible with the statistical reasoning carried out in the inference of large language models (LLMs). Hallucinations are mathematically inevitable and not addressable…

Quantum Physics · Physics 2026-02-05 Junhao Song , Ziqian Bi , Xinliang Chia , William Knottenbelt , Yudong Cao

As AI systems become increasingly capable, safety strategies must be evaluated not only by how much they reduce present risk, but by whether they could sustain safety once external control can no longer reliably constrain system behavior.…

Artificial Intelligence · Computer Science 2026-05-14 James M. Mazzu

Artificial Intelligence (AI) has received an increasing amount of attention in multiple areas. The uncertainties and risks in AI-powered systems have created reluctance in their wild adoption. As an economic solution to compensate for…

Artificial Intelligence · Computer Science 2023-06-05 Yunfei Ge , Quanyan Zhu

The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries, large-scale environmental damage, property destruction, and…

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

Artificial Intelligence (AI) governance regulates the exercise of authority and control over the management of AI. It aims at leveraging AI through effective use of data and minimization of AI-related cost and risk. While topics such as AI…

Artificial Intelligence · Computer Science 2025-07-17 Johannes Schneider , Rene Abraham , Christian Meske , Jan vom Brocke

Artificial intelligence (AI) is increasingly intervening in our lives, raising widespread concern about its unintended and undeclared side effects. These developments have brought attention to the problem of AI auditing: the systematic…

Computers and Society · Computer Science 2024-10-08 Sarah H. Cen , Rohan Alur

This paper examines the intricate interplay among AI safety, security, and governance by integrating technical systems engineering with principles of moral imagination and ethical philosophy. Drawing on foundational insights from Weapons of…

Systems and Control · Electrical Eng. & Systems 2025-03-11 Krti Tallam

AI chatbots are an emerging security attack vector, vulnerable to threats such as prompt injection, and rogue chatbot creation. When deployed in domains such as corporate security policy, they could be weaponized to deliver guidance that…

Human-Computer Interaction · Computer Science 2025-10-13 Brandon Lit , Edward Crowder , Daniel Vogel , Hassan Khan

Verification and validation of agentic behavior have been suggested as important research priorities in efforts to reduce risks associated with the creation of general artificial intelligence (Russell et al 2015). In this paper we question…

Artificial Intelligence · Computer Science 2016-10-12 David J. Jilk

Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies that underpin them continue to advance, these systems will…

Instances of Artificial Intelligence (AI) systems failing to deliver consistent, satisfactory performance are legion. We investigate why AI failures occur. We address only a narrow subset of the broader field of AI Safety. We focus on AI…

Computers and Society · Computer Science 2020-08-11 Debarag Narayan Banerjee , Sasanka Sekhar Chanda

Atomicity violation is one of the most serious types of bugs in concurrent programs. Synchronizations are commonly used to enforce atomicity. However, it is very challenging to place synchronizations correctly and sufficiently due to…

Software Engineering · Computer Science 2025-04-24 Zhuang Li , Qiuping Yi , Jeff Huang

Risks associated with the use of AI, ranging from algorithmic bias to model hallucinations, have received much attention and extensive research across the AI community, from researchers to end-users. However, a gap exists in the systematic…

Artificial Intelligence · Computer Science 2025-11-21 Raymond K. Sheh , Karen Geappen

Trust is a central component of the interaction between people and AI, in that 'incorrect' levels of trust may cause misuse, abuse or disuse of the technology. But what, precisely, is the nature of trust in AI? What are the prerequisites…

Artificial Intelligence · Computer Science 2021-01-21 Alon Jacovi , Ana Marasović , Tim Miller , Yoav Goldberg