English
Related papers

Related papers: Runtime Enforcement for Operationalizing Ethics in…

200 papers

Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications where their behaviour may cause harm, such as when used for…

Software Engineering · Computer Science 2022-08-02 Richard Hawkins , Matt Osborne , Mike Parsons , Mark Nicholson , John McDermid , Ibrahim Habli

While we have witnessed a rapid growth of ethics documents meant to guide AI development, the promotion of AI ethics has nonetheless proceeded with little input from AI practitioners themselves. Given the proliferation of AI for Social Good…

Computers and Society · Computer Science 2021-01-07 Mark Findlay , Josephine Seah

Artificial intelligence (AI) based assistive systems, so called intelligent assistive technology (IAT) are becoming increasingly ubiquitous by each day. IAT helps people in improving their quality of life by providing intelligent assistance…

Computers and Society · Computer Science 2023-03-08 M. Salman Shaukat , J. -C. Põder , Sebastian Bader , Thomas Kirste

A computational ethics framework is essential for AI and autonomous systems operating in complex, real-world environments. Existing approaches often lack the adaptability needed to integrate ethical principles into dynamic and ambiguous…

Artificial Intelligence · Computer Science 2025-03-03 Nijesh Upreti , Jessica Ciupa , Vaishak Belle

As autonomous agentic systems scale across regulated critical infrastructures, the lack of mechanistic, hardware-rooted enforcement for high-frequency policy updates presents a fundamental safety gap. We introduce Ethical Hyper-Velocity…

Artificial Intelligence · Computer Science 2026-05-19 Riddhi Mohan Sharma

Ethical dilemmas are a common challenge in everyday driving, requiring human drivers to balance competing priorities such as safety, efficiency, and rule compliance. However, much of the existing research in automated vehicles (AVs) has…

Systems and Control · Electrical Eng. & Systems 2025-08-01 Lucas Elbert Suryana , Saeed Rahmani , Simeon Craig Calvert , Arkady Zgonnikov , Bart van Arem

The presence of autonomous systems is growing at a fast pace and it is impacting many aspects of our lives. Designed to learn and act independently, these systems operate and perform decision-making without human intervention. However, they…

Software Engineering · Computer Science 2025-10-30 Mashal Afzal Memon , Gianluca Filippone , Gian Luca Scoccia , Marco Autili , Paola Inverardi

Runtime enforcement is an increasingly popular and effective dynamic validation technique aiming to ensure the correct runtime behavior (w.r.t. a formal specification) of systems using a so-called enforcement monitor. In this paper we…

Software Engineering · Computer Science 2014-06-24 Hadil Charafeddine , Khalil El-Harake , Yliès Falcone , Mohamad Jaber

Autonomous Driving System (ADS) testing plays a crucial role in their development, with the current focus primarily on functional and safety testing. However, evaluating the non-functional morality of ADSs, particularly their…

Software Engineering · Computer Science 2025-05-07 Wenbing Tang , Mingfei Cheng , Yuan Zhou , Yang Liu

Ethical awareness is critical for robots operating in human environments, yet existing automated planning tools provide little support. Manually specifying ethical rules is labour-intensive and highly context-specific. We present…

Artificial Intelligence · Computer Science 2025-12-10 Tammy Zhong , Yang Song , Maurice Pagnucco

Large Language Models (LLMs) are increasingly integrated into software engineering (SE) tools for tasks that extend beyond code synthesis, including judgment under uncertainty and reasoning in ethically significant contexts. We present a…

Software Engineering · Computer Science 2025-10-02 Patrizio Migliarini , Mashal Afzal Memon , Marco Autili , Paola Inverardi

We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permissions and prohibitions are distinct from a system's…

Artificial Intelligence · Computer Science 2021-05-07 Colin Shea-Blymyer , Houssam Abbas

Artificial intelligence pipelines -- spanning data collection, model training, deployment, and post-deployment monitoring -- concentrate ethical risks that intensify with multimodal and agentic systems. Existing governance instruments,…

Computers and Society · Computer Science 2026-03-10 Jasper Kyle Catapang

This paper describes current progress on developing an ethical architecture for robots that are designed to follow human ethical decision-making processes. We surveyed both regular adults (folks) and ethics experts (experts) on what they…

Robotics · Computer Science 2022-06-23 Shengkang Chen , Vidullan Surendran , Alan R. Wagner , Jason Borenstein , Ronald C. Arkin

We present Ethics Readiness Levels (ERLs), a four-level, iterative method to track how ethical reflection is implemented in the design of AI systems. ERLs bridge high-level ethical principles and everyday engineering by turning ethical…

Computers and Society · Computer Science 2025-12-11 Laurynas Adomaitis , Vincent Israel-Jost , Alexei Grinbaum

Although artificial intelligence (AI) is solving real-world challenges and transforming industries, there are serious concerns about its ability to behave and make decisions in a responsible way. Many AI ethics principles and guidelines for…

Artificial Intelligence · Computer Science 2022-07-22 Qinghua Lu , Liming Zhu , Xiwei Xu , Jon Whittle , David Douglas , Conrad Sanderson

Recent advances in large language models (LLMs) have enabled their use in complex agentic roles, involving decision-making with humans or other agents, making ethical alignment a key AI safety concern. While prior work has examined both…

Computation and Language · Computer Science 2025-05-27 Steffen Backmann , David Guzman Piedrahita , Emanuel Tewolde , Rada Mihalcea , Bernhard Schölkopf , Zhijing Jin

Road vehicle travel at a reasonable speed involves some risk, even when using computer-controlled driving with failure-free hardware and perfect sensing. A fully-automated vehicle must continuously decide how to allocate this risk without a…

Computers and Society · Computer Science 2020-10-30 Noah J. Goodall

Artificial Intelligence (AI) and Large Language Models (LLMs) are revolutionizing today's business practices; however, their adoption within small and medium-sized enterprises (SMEs) raises serious trust, ethical, and technical issues. In…

Machine Learning · Computer Science 2025-11-06 Iqbal H. Sarker , Helge Janicke , Ahmad Mohsin , Leandros Maglaras

As the range of potential uses for Artificial Intelligence (AI), in particular machine learning (ML), has increased, so has awareness of the associated ethical issues. This increased awareness has led to the realisation that existing…

Computers and Society · Computer Science 2021-02-19 Jessica Morley , Anat Elhalal , Francesca Garcia , Libby Kinsey , Jakob Mokander , Luciano Floridi