English
Related papers

Related papers: Algorithmic Ethics: Formalization and Verification…

200 papers

Sociotechnical requirements shape the governance of artificially intelligent (AI) systems. In an era where embodied AI technologies are rapidly reshaping various facets of contemporary society, their inherent dynamic adaptability presents a…

Computers and Society · Computer Science 2024-09-04 Georgios Bakirtzis , Andrea Aler Tubella , Andreas Theodorou , David Danks , Ufuk Topcu

Technology advances give us the hope of driving without human error, reducing vehicle emissions and simplifying an everyday task with the future of self-driving cars. Making sure these vehicles are safe is very important to the continuation…

Logic in Computer Science · Computer Science 2023-05-16 Megan Strauss , Stefan Mitsch

Cyber-Physical Systems (CPS) increasingly depend on advanced AI techniques to operate in critical applications. However, traditional verification and validation methods often struggle to handle the unpredictable and dynamic nature of AI…

In the realm of autonomous driving, the development and integration of highly complex and heterogeneous systems are standard practice. Modern vehicles are not monolithic systems; instead, they are composed of diverse hardware components,…

Software Engineering · Computer Science 2024-11-25 Paolo Burgio , Angelo Ferrando , Marco Villani

Despite legal mandates for the right to be forgotten, AI operators routinely fail to comply with data deletion requests. While machine unlearning (MU) provides a technical solution to remove personal data's influence from trained models,…

Machine Learning · Computer Science 2026-02-17 Qinqi Lin , Ningning Ding , Lingjie Duan , Jianwei Huang

Vehicles in public traffic that are equipped with Automated Driving Systems are subject to a number of expectations: Among other aspects, their behavior should be safe, conforming to the rules of the road and provide mobility to their…

Software Engineering · Computer Science 2024-11-18 Nayel Fabian Salem , Marcus Nolte , Veronica Haber , Till Menzel , Hans Steege , Robert Graubohm , Markus Maurer

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

Artificial Intelligence · Computer Science 2022-09-20 Zhe Yu , Yiwei Lu

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

As deep learning (DL) technologies advance, their application in automated visual inspection for Class III medical devices offers significant potential to enhance quality assurance and reduce human error. However, the adoption of such…

Computers and Society · Computer Science 2025-10-08 Julio Zanon Diaz , Tommy Brennan , Peter Corcoran

Ensuring that autonomous systems work ethically is both complex and difficult. However, the idea of having an additional `governor' that assesses options the system has, and prunes them to select the most ethical choices is well understood.…

Artificial Intelligence · Computer Science 2015-04-15 Louise A. Dennis , Michael Fisher , Alan F. T. Winfield

Complying with the EU AI Act (AIA) guidelines while developing and implementing AI systems will soon be mandatory within the EU. However, practitioners lack actionable instructions to operationalise ethics during AI systems development. A…

Computers and Society · Computer Science 2024-01-08 Krishna Ronanki , Beatriz Cabrero-Daniel , Jennifer Horkoff , Christian Berger

Agentic artificial intelligence systems are autonomous technologies capable of pursuing complex goals with minimal human oversight and are rapidly emerging as the next frontier in AI. While these systems promise major gains in productivity,…

Computers and Society · Computer Science 2026-01-13 Theodore Roberts , Bahram Zarrin

As AI agents evolve from text generators into autonomous economic actors that accept jobs, manage budgets, and delegate to sub-agents, the absence of runtime governance becomes a critical gap. Existing frameworks orchestrate agent behavior…

Cryptography and Security · Computer Science 2026-03-17 Aojie Yuan , Haiyue Zhang , Ziyi Wang , Yue Zhao

This paper introduces reviewability as a framework for improving the accountability of automated and algorithmic decision-making (ADM) involving machine learning. We draw on an understanding of ADM as a socio-technical process involving…

Computers and Society · Computer Science 2021-02-11 Jennifer Cobbe , Michelle Seng Ah Lee , Jatinder Singh

In the field of Autonomous Driving, the system controlling the vehicle can be seen as an agent acting in a complex environment and thus naturally fits into the modern framework of Reinforcement Learning. However, learning to drive can be a…

Artificial Intelligence · Computer Science 2018-11-26 Patrick Klose , Rudolf Mester

Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be trustworthy. A priori certification techniques (i.e.,…

Multiagent Systems · Computer Science 2024-02-13 Stefania Costantini

Autonomous Vehicles (AVs) are increasingly embraced around the world to advance smart mobility and more broadly, smart, and sustainable cities. Algorithms form the basis of decision-making in AVs, allowing them to perform driving tasks…

Computers and Society · Computer Science 2019-10-30 Hazel Si Min Lim , Araz Taeihagh

While various traditions under the 'virtue ethics' umbrella have been studied extensively and advocated by ethicists, it has not been clear that there exists a version of virtue ethics rigorous enough to be a target for machine ethics…

Artificial Intelligence · Computer Science 2019-01-01 Naveen Sundar Govindarajulu , Selmer Bringsjord , Rikhiya Ghosh

The Responsibility-Sensitive Safety (RSS) model offers provable safety for vehicle behaviors such as minimum safe following distance. However, handling worst-case variability and uncertainty may significantly lower vehicle permissiveness,…

Robotics · Computer Science 2019-11-05 Philip Koopman , Beth Osyk , Jack Weast

Since the emergence of autonomous driving technology, it has advanced rapidly over the past decade. It is becoming increasingly likely that autonomous vehicles (AVs) would soon coexist with human-driven vehicles (HVs) on the roads.…

Robotics · Computer Science 2025-04-29 Jing Wang , Yan Jin , Hamid Taghavifar , Fei Ding , Chongfeng Wei