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)
GET BOOK
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

Verifiable Autonomous Systems

Authors: Louise A. Dennis
Categories: Computers
Type: BOOK - Published: 2023-04-30 - Publisher: Cambridge University Press

GET 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: 483

Software Engineering for Robotics

Authors: Ana Cavalcanti
Categories: Computers
Type: BOOK - Published: 2021-07-05 - Publisher: Springer Nature

GET 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

Verifiable Autonomous Systems

Authors: Louise A. Dennis
Categories: Computers
Type: BOOK - Published: 2023-04-30 - Publisher: Cambridge University Press

GET 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

Integrated Formal Methods

Authors: Maurice H. ter Beek
Categories: Computers
Type: BOOK - Published: 2022-06-01 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June
Value Sensitive Design
Language: en
Pages: 258

Value Sensitive Design

Authors: Batya Friedman
Categories: Design
Type: BOOK - Published: 2019-05-21 - Publisher: MIT Press

GET EBOOK

Using our moral and technical imaginations to create responsible innovations: theory, method, and applications for value sensitive design. Implantable medical d