Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines - Dennis, Louise A. (University of Manchester) - Books - Cambridge University Press - 9781108484992 - June 8, 2023
In case cover and title do not match, the title is correct

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Dennis, Louise A. (University of Manchester)

Price
$ 90.49
excl. VAT

Ordered from remote warehouse

Expected delivery May 9 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

This book is aimed at professionals, researchers and postgraduate students interested in techniques for assuring the behaviour of autonomous systems and how these systems may be programmed so that such assurance can be given. Several case studies are included, along with tutorials for the technologies used in those case studies.

410 pages, Worked examples or Exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 8, 2023
ISBN13 9781108484992
Publishers Cambridge University Press
Pages 410
Dimensions 236 × 158 × 28 mm   ·   710 g

See all of Dennis, Louise A. (University of Manchester) ( e.g. Hardcover Book )