Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Bøker - Association of Computing Machinery,U.S. - 9798400708657 - 7. 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 719

Bestillingsvarer

Forventes levert 17. sep - 1. okt
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:

Cutting-edge verification and synthesis algorithms offer certifiable trust in autonomous systems wrestling with high-dimensional, nonlinear, and hybrid dynamics. With proven methods ensuring soundness and precision, techniques are applied to critical control modules, satellite systems, and autonomous driving maneuvers.

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 7. oktober 2024
ISBN13 9798400708657
Utgivere Association of Computing Machinery,U.S.
Antall sider 277
Mål 150 × 220 × 20 mm   ·   535 g

Mer fra samme **utgiver**

Se alt med Chuchu Fan