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

Available Online