Verifiable Autonomous Systems

Verifiable Autonomous Systems
Author :
Publisher : Cambridge University Press
Total Pages : 391
Release :
ISBN-10 : 9781108484992
ISBN-13 : 1108484999
Rating : 4/5 (999 Downloads)

Book Synopsis Verifiable Autonomous Systems by : Louise A. Dennis

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.


Verifiable Autonomous Systems Related Books

Verifiable Autonomous Systems
Language: en
Pages: 391
Authors: Louise A. Dennis
Categories: Computers
Type: BOOK - Published: 2023-04-30 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A discussion of methods by which scientists may guarantee the behaviours of autonomous systems, from intelligent robots to driverless cars.
Software Engineering for Robotics
Language: en
Pages: 495
Authors: Ana Cavalcanti
Categories: Computers
Type: BOOK - Published: 2021-07-05 - Publisher: Springer Nature

DOWNLOAD EBOOK

The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics
Verifiable Autonomous Systems
Language: en
Pages: 392
Authors: Louise A. Dennis
Categories: Computers
Type: BOOK - Published: 2023-04-30 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate stud
Integrated Formal Methods
Language: en
Pages: 372
Authors: Maurice H. ter Beek
Categories: Computers
Type: BOOK - Published: 2022-06-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June
Verified Software. Theories, Tools, and Experiments
Language: en
Pages: 212
Authors: Sandrine Blazy
Categories: Computers
Type: BOOK - Published: 2016-11-07 - Publisher: Springer

DOWNLOAD EBOOK

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experi