Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (3 more authors) (2025) Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Journal of Systems and Software. 112229. ISSN 0164-1212

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2024 The Authors.

Keywords: autonomous agents; social, legal, ethical, empathethic and cultural requirements; verification and validation; sociotechnical systems; formal methods
Dates:
  • Accepted: 23 September 2024
  • Published (online): 13 November 2024
  • Published: 1 February 2025
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
The University of York > Faculty of Social Sciences (York) > The York Law School
Depositing User: Pure (York)
Date Deposited: 25 Sep 2024 11:40
Last Modified: 02 Apr 2025 23:28
Published Version: https://doi.org/10.1016/j.jss.2024.112229
Status: Published
Refereed: Yes
Identification Number: 10.1016/j.jss.2024.112229
Open Archives Initiative ID (OAI ID):

Download

Filename: 1-s2.0-S0164121224002735-main.pdf

Description: Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

Licence: CC-BY 2.5

Export

Statistics