Cover Image
Read Now

1
by Dennis, Louise, Fisher, Michael
Published 2023
Cambridge University Press
“... to control autonomous systems and the role model-checking in verifying the properties of this decision-making...”