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.
Decision Making Process
Language: en
Pages: 671
Authors: Denis Bouyssou
Categories: Business & Economics
Type: BOOK - Published: 2013-05-10 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

This book provides an overview of the main methods and results in the formal study of the human decision-making process, as defined in a relatively wide sense.
Algorithms for Sensor Systems
Language: en
Pages: 209
Authors: Falko Dressler
Categories: Computers
Type: BOOK - Published: 2019-11-18 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes revised selected papers from the 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019
Distributed Search by Constrained Agents
Language: en
Pages: 223
Authors: Amnon Meisels
Categories: Computers
Type: BOOK - Published: 2008 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The well defined model of distributed constraints satisfaction and optimization (DisCSPs/DisCOPs) can serve as the basis for the design and investigation of dis
Knowledge Representation
Language: en
Pages: 420
Authors: Ronald J. Brachman
Categories: Antologier
Type: BOOK - Published: 1992 - Publisher: MIT Press

DOWNLOAD EBOOK