Verifiable Autonomous Systems

ISBN-13: 9781108484992 / Twarda / 2023 / 410 str.

Michael (University of Manchester) Fisher

Opis

A discussion of methods by which scientists may guarantee the behaviours of autonomous systems, from intelligent robots to driverless cars.

Spis treści

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.