Toolkit for 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, Burholt, Charlie et al. (3 more authors) (2024) Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Science of Computer Programming. 103118. ISSN 0167-6423

Abstract

Metadata

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

Accepted as an Original Software Publication (OSP), under the Software Track of Science of Computer Programming. © 2024 The Authors

Keywords: autonomous agents,social requirements,legal requirements,ethical requirements,empathetic requirements,cultural requirements,verification,validation
Dates:
  • Published: 1 September 2024
  • Published (online): 16 April 2024
  • Accepted: 4 April 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/V026747/1
EPSRC
EP/Y009800/1
Depositing User: Pure (York)
Date Deposited: 11 Apr 2024 08:20
Last Modified: 09 Feb 2025 00:10
Published Version: https://doi.org/10.1016/j.scico.2024.103118
Status: Published
Refereed: Yes
Identification Number: 10.1016/j.scico.2024.103118
Open Archives Initiative ID (OAI ID):

Download

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

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

Licence: CC-BY 2.5

Export

Statistics