Cover Image

Verifiable autonomous systems : using rational agents to provide assurance about decisions made by machines /

Bibliographic Details
Main Authors: Dennis, Louise (Author), Fisher, Michael, 1962- (Author)
Corporate Author: Cambridge University Press
Format: eBook
Language:English
Published: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023.
Subjects:
Robust control.
Automatic control.
Machine learning.
Computer programs > Verification.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Physical Description:1 online resource.
ISBN:9781108755023
110875502X
DOI:10.1017/9781108755023