Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decis... (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Robotteknik
  5. Dataarkitektur og logisk design
  6. Kunstig intelligens
  7. Operativsystemer
  8. Verifiable Autonomous Systems: Using Rational Agents to...

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

(Bog, Hardback, Engelsk)
Forfattere: Louise A. (University of Manchester) Dennis, Michael (University of Manchester) Fisher
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Dataarkitektur og logisk design Kunstig intelligens Operativsystemer Robotteknik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book is aimed at professionals, researchers and postgraduate students interested in techniques for assuring the behaviour of autonomous systems and how these systems may be programmed so that such assurance can be given. Several case studies are included, along with tutorials for the technologies used in those case studies.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Louise A. (University of Manchester) Dennis, Michael (University of Manchester) Fisher
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 08-06-2023
Første udgivelsesår 2023
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 392
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 392 pages, Worked examples or Exercises
Mål 158 x 236 x 28
ISBN-13 / EAN-13 9781108484992