Verifiable Autonomous Systems
Author | : Louise A. Dennis |
Publisher | : Cambridge University Press |
Total Pages | : 391 |
Release | : 2023-04-30 |
ISBN-10 | : 9781108484992 |
ISBN-13 | : 1108484999 |
Rating | : 4/5 (999 Downloads) |
Download or read book Verifiable Autonomous Systems written by Louise A. Dennis and published by Cambridge University Press. This book was released on 2023-04-30 with total page 391 pages. Available in PDF, EPUB and Kindle. Book excerpt: A discussion of methods by which scientists may guarantee the behaviours of autonomous systems, from intelligent robots to driverless cars.