Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-152477

Contact seller

Buy New

US$ 86.18

Convert currency

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Quantity: 3 available

Add to basket

Seller Image

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

Dennis, Louise A.; Fisher, Michael

Published by Cambridge University Press, 2023

ISBN 10: 1108484999 ISBN 13: 9781108484992

Used Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Condition: As New. Unread book in perfect condition. Seller Inventory # 45255650

Contact seller

Buy Used

US$ 93.61

Convert currency

Shipping: US$ 2.64

Within U.S.A.

Destination, rates & speeds

Quantity: 8 available

Add to basket

Stock Image

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

Dennis, Louise A.; Fisher, Michael

Published by Cambridge University Press, 2023

ISBN 10: 1108484999 ISBN 13: 9781108484992

New Hardcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars

Condition: New. 1st edition NO-PA16APR2015-KAP. Seller Inventory # 26396108433

Contact seller

Buy New

US$ 96.69

Convert currency

Shipping: US$ 3.99

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

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

Dennis, Louise A.; Fisher, Michael

Published by Cambridge University Press, 2023

ISBN 10: 1108484999 ISBN 13: 9781108484992

New Hardcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars

Condition: New. Seller Inventory # I-9781108484992

Contact seller

Buy New

US$ 103.00

Convert currency

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

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

Dennis, Louise A.; Fisher, Michael

Published by Cambridge University Press, 2023

ISBN 10: 1108484999 ISBN 13: 9781108484992

New Hardcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars

Condition: New. Seller Inventory # 401317198

Contact seller

Buy New

US$ 97.89

Convert currency

Shipping: US$ 8.65

From United Kingdom to U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Verifiable Autonomous Systems (Hardcover)

Louise A. Dennis

Published by Cambridge University Press, Cambridge, 2023

ISBN 10: 1108484999 ISBN 13: 9781108484992

New Hardcover

Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.

Seller rating 5 out of 5 stars

Hardcover. Condition: new. Hardcover. How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The authors review specific definitions, applications and the unique future potential of autonomous systems, along with their impact on safer decisions and ethical behaviour. Topics discussed include the use of rational cognitive agent programming from the Beliefs-Desires-Intentions paradigm to control autonomous systems and the role model-checking in verifying the properties of this decision-making component. Several case studies concerning both the verification of autonomous systems and extensions to the framework beyond the model-checking of agent decision-makers are included, along with complete tutorials for the use of the freely-available verifiable cognitive agent toolkit Gwendolen, written in Java. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781108484992

Contact seller