Book contents
- Frontmatter
- Dedication
- Contents
- Acknowledgments
- 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
- Part III Extensions
- Part IV Concluding Remarks
- Appendix A Gwendolen Documentation
- Appendix B AIL Toolkit Documentation
- Appendix C AJPF Documentation
- References
- Index
2 - Autonomous Systems Architectures
from Part I - Foundations
Published online by Cambridge University Press: 25 May 2023
- Frontmatter
- Dedication
- Contents
- Acknowledgments
- 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
- Part III Extensions
- Part IV Concluding Remarks
- Appendix A Gwendolen Documentation
- Appendix B AIL Toolkit Documentation
- Appendix C AJPF Documentation
- References
- Index
Summary
- Type
- Chapter
- Information
- Verifiable Autonomous SystemsUsing Rational Agents to Provide Assurance about Decisions Made by Machines, pp. 13 - 23Publisher: Cambridge University PressPrint publication year: 2023