English
Related papers

Related papers: AI Social Responsibility as Reachability: Executio…

200 papers

This paper addresses the challenge of operationalizing ethics in autonomous systems through runtime enforcement. It first conceptualizes the system's ethical space and outlines a structured ethics assurance process. Building on this…

Software Engineering · Computer Science 2026-04-07 Martina De Sanctis , Gianluca Filippone , Paola Inverardi , Raffaela Mirandola , Sara Pettinari , Patrizia Scandurra

As the deployment of artificial intelligence (AI) is changing many fields and industries, there are concerns about AI systems making decisions and recommendations without adequately considering various ethical aspects, such as…

Computers and Society · Computer Science 2023-10-02 Conrad Sanderson , Qinghua Lu , David Douglas , Xiwei Xu , Liming Zhu , Jon Whittle

AI is transforming the existing technology landscape at a rapid phase enabling data-informed decision making and autonomous decision making. Unlike any other technology, because of the decision-making ability of AI, ethics and governance…

Computers and Society · Computer Science 2022-10-18 Mahendra Samarawickrama

We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real- time systems where time constraints are expressed as intervals, representing possible transition firing times, whose bounds are…

Software Engineering · Computer Science 2011-07-07 Carlo Bellettini , Lorenzo Capra

Place/transition Petri nets are a standard model for a class of distributed systems whose reachability spaces might be infinite. One of well-studied topics is the verification of safety and liveness properties in this model; despite the…

Logic in Computer Science · Computer Science 2016-08-09 Petr Jancar

Self-adaptive systems increasingly operate in close interaction with humans, often sharing the same physical or virtual environments and making decisions with ethical implications at runtime. Current approaches typically encode ethics as…

Software Engineering · Computer Science 2026-02-20 Marco Autili , Gianluca Filippone , Mashal Afzal Memon , Patrizio Pelliccione

The accelerating adoption of large language models, retrieval-augmented generation pipelines, and multi-agent AI workflows has created a structural governance crisis. Organizations cannot govern what they cannot see, and existing compliance…

This paper examines the challenge of embedding public values into national artificial intelligence (AI) governance frameworks, a task complicated by the sociotechnical nature of contemporary systems. As AI permeates domains such as…

Computers and Society · Computer Science 2026-02-19 Mike Wa Nkongolo

As artificial intelligence systems evolve from passive assistants into autonomous agents capable of executing consequential actions, the security boundary shifts from model outputs to tool execution. Traditional security paradigms - log…

Cryptography and Security · Computer Science 2026-02-11 Herman Errico

The AI landscape demands a broad set of legal, ethical, and societal considerations to be accounted for in order to develop ethical AI (eAI) solutions which sustain human values and rights. Currently, a variety of guidelines and a handful…

Computers and Society · Computer Science 2021-12-03 Anna Felländer , Jonathan Rebane , Stefan Larsson , Mattias Wiggberg , Fredrik Heintz

The rapid scaling of AI has spurred a growing emphasis on ethical considerations in both development and practice. This has led to the formulation of increasingly sophisticated model auditing and reporting requirements, as well as…

Human-Computer Interaction · Computer Science 2024-10-01 Mahasweta Chakraborti , Bert Joseph Prestoza , Nicholas Vincent , Seth Frey

This paper grounds ethics in evolutionary biology, viewing moral norms as adaptive mechanisms that render cooperation fitness-viable under selection pressure. Current alignment approaches add ethics post hoc, treating it as an external…

Computers and Society · Computer Science 2025-10-17 Dylan Waldner

Measurement of social phenomena is everywhere, unavoidably, in sociotechnical systems. This is not (only) an academic point: Fairness-related harms emerge when there is a mismatch in the measurement process between the thing we purport to…

Computers and Society · Computer Science 2021-09-14 Abigail Z. Jacobs

Autonomous systems increasingly execute actions that directly modify shared state, creating an urgent need for precise control over which transitions are permitted to occur. Existing governance mechanisms evaluate policies prior to…

Logic in Computer Science · Computer Science 2026-04-23 Marcelo Fernandez

Maintaining an acceptable level of quality of service in modern complex systems is challenging, particularly in the presence of various forms of uncertainty caused by changing execution context, unpredicted events, etc. Although…

Software Engineering · Computer Science 2020-12-04 Fatma Kachi , Chafia Bouanaka , Souheir Merkouche

Scientific research organizations that are developing and deploying Artificial Intelligence (AI) systems are at the intersection of technological progress and ethical considerations. The push for Responsible AI (RAI) in such institutions…

Artificial Intelligence · Computer Science 2023-12-18 Muneera Bano , Didar Zowghi , Pip Shea , Georgina Ibarra

Participatory approaches are widely invoked in AI governance, yet participation rarely translates into durable influence. In public sector and civic AI systems, community contributions such as deliberations, annotations, prompts, and…

Computers and Society · Computer Science 2026-02-12 Rashid Mushkani

Mainstream AI ethics, with its reliance on top-down, principle-driven frameworks, fails to account for the situated realities of diverse communities affected by AI (Artificial Intelligence). Critics have argued that AI ethics frequently…

Computers and Society · Computer Science 2025-09-23 Paula Helm , Selin Gerlek

Accountability in the workplace is critically important and remains a challenging problem, especially with respect to workplace safety management. In this paper, we introduce a novel notion, the Internet of Responsibilities, for…

Computers and Society · Computer Science 2023-12-11 Xuejiao Tang , Jiong Qiu , Wenbin Zhang , Ibrahim Toure , Mingli Zhang , Enza Messina , Xueping Xie , Xuebing Wang , Sheng Yu

As the complexity of software systems rises, methods for explaining their behaviour are becoming ever-more important. When a system fails, it is critical to determine which of its components are responsible for this failure. Within the…

Formal Languages and Automata Theory · Computer Science 2026-02-23 Christel Baier , Rio Klatt , Sascha Klüppelholz , Max Korn , Johannes Lehmann