![](http://assets.cambridge.org/97811084/84992/cover/9781108484992.jpg)
Book contents
- Frontmatter
- Dedication
- Contents
- Acknowledgments
- Introduction
- Part I Foundations
- Part II Applications
- 7 Multi-Agent Auctions
- 8 Autonomous Satellite Control
- 9 Certification of Unmanned Air Systems
- 10 Ethical Decision-Making
- Part III Extensions
- Part IV Concluding Remarks
- Appendix A Gwendolen Documentation
- Appendix B AIL Toolkit Documentation
- Appendix C AJPF Documentation
- References
- Index
9 - Certification of Unmanned Air Systems
from Part II - Applications
Published online by Cambridge University Press: 25 May 2023
- Frontmatter
- Dedication
- Contents
- Acknowledgments
- Introduction
- Part I Foundations
- Part II Applications
- 7 Multi-Agent Auctions
- 8 Autonomous Satellite Control
- 9 Certification of Unmanned Air Systems
- 10 Ethical Decision-Making
- Part III Extensions
- Part IV Concluding Remarks
- Appendix A Gwendolen Documentation
- Appendix B AIL Toolkit Documentation
- Appendix C AJPF Documentation
- References
- Index
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781108755023/resource/name/firstPage-9781108484992c09_127-149.jpg)
- Type
- Chapter
- Information
- Verifiable Autonomous SystemsUsing Rational Agents to Provide Assurance about Decisions Made by Machines, pp. 127 - 149Publisher: Cambridge University PressPrint publication year: 2023