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:
  • Accepted: 4 April 2024
  • Published (online): 16 April 2024
  • Published: 1 September 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: 26 Aug 2025 23:04
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