Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Böcker - Association of Computing Machinery,U.S. - 9798400708633 - 7 oktober 2024
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 629

Beställningsvara

Förväntad leverans 28 okt - 11 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Chuchu Fan

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även 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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 7 oktober 2024
ISBN13 9798400708633
Utgivare Association of Computing Machinery,U.S.
Antal sidor 184
Mått 150 × 220 × 10 mm   ·   326 g

Mer från samma **utgivare**

Se alt med Chuchu Fan