Verifiable Autonomous Systems
Download and Read Verifiable Autonomous Systems full books in PDF, ePUB, and Kindle. Read online free Verifiable Autonomous Systems ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Verifiable Autonomous Systems
Author | : Louise A. Dennis |
Publisher | : Cambridge University Press |
Total Pages | : 391 |
Release | : 2023-04-30 |
Genre | : Computers |
ISBN | : 1108484999 |
Download Verifiable Autonomous Systems Book in PDF, Epub and Kindle
A discussion of methods by which scientists may guarantee the behaviours of autonomous systems, from intelligent robots to driverless cars.
Verifiable Autonomous Systems Related Books
Language: en
Pages: 391
Pages: 391
Type: BOOK - Published: 2023-04-30 - Publisher: Cambridge University Press
A discussion of methods by which scientists may guarantee the behaviours of autonomous systems, from intelligent robots to driverless cars.
Language: en
Pages: 483
Pages: 483
Type: BOOK - Published: 2021-07-05 - Publisher: Springer Nature
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics
Language: en
Pages: 212
Pages: 212
Type: BOOK - Published: 2016-11-07 - Publisher: Springer
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experi
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 2023-04-30 - Publisher: Cambridge University Press
How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate stud
Language: en
Pages: 372
Pages: 372
Type: BOOK - Published: 2022-06-01 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June