Vor Ort
Merkzettel Warenkorb
  • Produktbild: Verifiable Autonomous Systems
  • Produktbild: Verifiable Autonomous Systems

Verifiable Autonomous Systems Using Rational Agents to Provide Assurance about Decisions Made by Machines

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

08.06.2023

Verlag

Cambridge Academic

Seitenzahl

392

Maße (L/B/H)

22,9/15,2/2,2 cm

Gewicht

689 g

Sprache

Englisch

ISBN

978-1-108-48499-2

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

08.06.2023

Verlag

Cambridge Academic

Seitenzahl

392

Maße (L/B/H)

22,9/15,2/2,2 cm

Gewicht

689 g

Sprache

Englisch

ISBN

978-1-108-48499-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Verifiable Autonomous Systems
  • Produktbild: Verifiable Autonomous Systems
  • 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.