Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Bøker - Association of Computing Machinery,U.S. - 9798400708633 - 22. oktober 2024
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

Pris
NOK 569

Bestillingsvarer

Forventes levert 20. aug - 3. sep
Få varsel om nye utgivelser fra Chuchu Fan

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

Autonomous systems face enormous financial and legal stakes, and novel verification and synthesis algorithms now secure certifiable trust. With applications spanning Toyota engine controls, satellite maneuvers, and ADAS dynamics, insightful methods tackle challenges in complex nonlinear and hybrid models.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 22. oktober 2024
ISBN13 9798400708633
Utgivere Association of Computing Machinery,U.S.
Antall sider 184
Mål 150 × 220 × 10 mm   ·   326 g

Mer fra samme **utgiver**

Se alt med Chuchu Fan ( f.eks. Pocketbok og Innbunden bok )