Verifiable Autonomous Systems
Verifiable Autonomous Systems
$89.99
USDHow 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.
- Examples and case studies throughout the book link to downloadable code, allowing users to experiment with the examples to see how they work at all levels of detail
- Case studies, drawn from several domains in collaboration with multiple research teams, help readers understand the applicability of techniques in a range of situations and to address a range of issues
- Contains a chapter on verifying ethical properties of systems along with more usual safety properties, allowing readers to understand how varying concerns about autonomous systems can be addressed
Product details
June 2023Hardback
9781108484992
410 pages
235 × 158 × 27 mm
0.71kg
Not yet published - available from June 2025
Table of Contents
- 1. Introduction
- Part I. Foundations:
- 2. Autonomous systems architectures
- 3. Agent decision maker
- 4. Formal agent verification
- 5. Verifying autonomous systems
- 6. Agent-based autonomous system verification
- Part II. Applications:
- 7. Multi-agent auctions
- 8. Autonomous satellite control
- 9. Certification of unmanned air systems
- 10. Ethical decision making
- Part III. Extensions:
- 11. Compositional verification – widening our view beyond the agent
- 12. Runtime verification – recognising abstraction violations
- 13. Utilising external model-checkers
- Part IV. Concluding Remarks:
- 14. Verifiable autonomous systems
- 15. The future
- Appendix A. Gwendolen documentation
- Appendix B. AIL toolkit documentation
- Appendix C. AJPF documentation
- Bibliography
- Index.
