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 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,Formal methods,Social, legal, ethical, empathetic and cultural requirements,Sociotechnical systems,Verification and validation
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: 22 Nov 2024 10:00
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
Related URLs:
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