Verifiable Autonomous Systems
-10%
portes grátis
Verifiable Autonomous Systems
Using Rational Agents to Provide Assurance about Decisions Made by Machines
Dennis, Louise A.; Fisher, Michael
Cambridge University Press
06/2023
410
Dura
Inglês
9781108484992
15 a 20 dias
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
