Trustworthy Autonomous Systems Through Verifiability

Mousavi, M.R. orcid.org/0000-0002-4869-6794, Cavalcanti, A., Fisher, M. orcid.org/0000-0002-0875-3862 et al. (8 more authors) (Cover date: February 2023) Trustworthy Autonomous Systems Through Verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Abstract

Metadata

Item Type: Article
Authors/Creators:
Dates:
  • Published: 10 February 2023
  • Published (online): 10 February 2023
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mechanical Engineering (Leeds) > Institute of Engineering Systems and Design (iESD) (Leeds)
Funding Information:
Funder
Grant number
EPSRC (Engineering and Physical Sciences Research Council)
EP/V026801/1
Depositing User: Symplectic Publications
Date Deposited: 07 Nov 2023 12:09
Last Modified: 08 Nov 2023 11:04
Published Version: https://ieeexplore.ieee.org/document/10042118
Status: Published
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Identification Number: 10.1109/mc.2022.3192206
Related URLs:
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics


CORE (COnnecting REpositories)