Verifiable Autonomous Systems av Louise A. (University of Manchester) Dennis, Michael (University of Manchester) Fisher

Verifiable Autonomous Systems Av Louise A. (University Of Manchester) Dennis, Michael (University Of Manchester) Fisher

How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The author...... Les mer...
fra 899,-
Tilgjengelig i 1 butikker

Produktinformasjon

Utforsk Verifiable Autonomous Systems

Er du nysgjerrig på hvordan autonome systemer, fra intelligente roboter til førerløse biler, kan programmeres for å garantere trygge og etiske handlinger? Verifiable Autonomous Systems Av Louise A. (University Of Manchester) Dennis, Michael (University Of Manchester) Fisher er din nøkkel til å forstå dette komplekse feltet!

En komplett guide for fagfolk og studenter

Dette tutorialmaterialet er skreddersydd for fagfolk, forskere og masterstudenter, og gir deg innsikt i hvordan vi kan implementere formell verifikasjon av autonome systemer. Ved å dykke ned i emner som:

  • Definisjoner og anvendelser av autonome systemer
  • Rasjonell kognitiv agentprogrammering basert på Beliefs-Desires-Intentions-paradigmet
  • Bruken av modellkontroll for å verifisere beslutningstaking

Praktiske eksempler og case-studier

Boken inneholder flere case-studier som utforsker verifikasjon av autonome systemer, samt utvidelser til rammen av modellkontroll. Leserne vil også finne:

  • Komplette opplæringer for bruk av gratis tilgjengelige verifiserbare kognitive agentverktøy
  • Diskusjoner om etiske dilemmaer relatert til autonome beslutningstakere

En framtid med trygge autonome systemer

Med Verifiable Autonomous Systems kan du være med på å forme fremtidens teknologi. Det handler ikke bare om hastighet; det handler om å ta riktige valg og sørge for at førerløse biler og intelligente roboter fungerer på en trygg, etisk og pålitelig måte. Er du klar til å ta steget inn i fremtiden?

Spesifikasjon

Produkt
Produktnavn Verifiable Autonomous Systems av Louise A. (University of Manchester) Dennis, Michael (University of Manchester) Fisher
Merke Other Brand

Pris og prishistorikk

Akkurat nå er 899,- den billigste prisen for Verifiable Autonomous Systems av Louise A. (University of Manchester) Dennis, Michael (University of Manchester) Fisher blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste teknikk, ingeniør og primær for å være sikker på at du gjør det beste kjøpet.