| Title:
|
VERIFIABLE AUTONOMOUS SYSTEMS
USING RATIONAL AGENTS TO PROVIDE ASSURANCE ABOUT DECISIONS MADE BY MACHINES |
| By: |
Louise A. Dennis |
| Format: |
Hardback |
| List price:
|
£69.99 |
| Our price: |
£62.99 |
| Discount: |
|
| You save:
|
£7.00 |
|
|
|
|
|
| ISBN 10: |
1108484999 |
| ISBN 13: |
9781108484992 |
| Availability: |
Usually dispatched within 3-5 days.
 Delivery
rates
|
| Stock: |
Currently 1item in stock |
| Publisher: |
CAMBRIDGE UNIVERSITY PRESS |
| Pub. date: |
30 April, 2023 |
| Pages: |
410 |
| Description: |
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. |
| Illustrations: |
Worked examples or Exercises |
| Returns: |
Returnable |