Verifiable Autonomous Systems - Using Rational Agents to Provide Assurance about Decisions Made by Machines (2023)

First Author: Dennis L
Attributed to:  Verifiable Autonomy funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1017/9781108755023

Publication URI: http://dx.doi.org/10.1017/9781108755023

Type: Book