Verifiable autonomous systems: using rational agents to provide assurance about decisions made by machines
Auteur :
Dennis, Louise A. / Fisher, Michael
Éditeur :
Cambridge University Press
ISBN :
9781108484992
Date de publication :
8 juin 2023
Dimensions :
23,5 x 15,8 x 2,7 cm
Poids :
710 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book is aimed at professionals, researchers and postgraduate students interested in techniques for assuring the behaviour of autonomous systems and how these systems may be programmed so that such assurance can be given. Several case studies are included, along with tutorials for the technologies used in those case studies.